Aristoteles van @HarmonicMath heeft 10/12 problemen opgelost binnen 7 uur op Putnam, de moeilijkste wiskundecompetitie voor studenten ter wereld! Hoe weet ik dit? Nou, ik heb Aristoteles zelf uitgevoerd via de openbare API van Harmonic. En het kostte me ongeveer 10 minuten om te beginnen en het op te starten! 9 van de 10 problemen zijn binnen minder dan 3 uur opgelost. De tiende (B5) kostte 7 uur, een uur meer dan de deelnemers is toegestaan. Voor alle 10 problemen heb ik Aristoteles de probleemstellingen in het Engels gegeven — en het heeft de stellingen automatisch geformaliseerd, bewezen en geverifieerde outputs geproduceerd, volledig autonoom, zonder enige menselijke feedback. Als iemand die van wiskunde houdt maar geen expert is, is het spannend om zo'n krachtig hulpmiddel binnen handbereik te hebben! 1/