Aristoteles von @HarmonicMath hat 10 von 12 Problemen innerhalb von 7 Stunden beim Putnam, dem härtesten Mathematikwettbewerb für Studenten weltweit, gelöst! Wie ich das weiß? Nun, ich habe Aristoteles selbst über Harmonics öffentliche API ausgeführt. Und es hat mich etwa 10 Minuten gekostet, um zu starten und es in Gang zu bringen! 9 von 10 Problemen wurden in weniger als 3 Stunden gelöst. Das zehnte (B5) hat 7 Stunden gedauert, eine Stunde mehr als den Teilnehmern zugestanden wird. Für alle 10 Probleme habe ich Aristoteles die Problemstellungen auf Englisch gegeben — und es hat die Aussagen automatisch formalisiert, bewiesen und verifizierte Ausgaben autonom produziert, ohne menschliches Feedback. Als jemand, der Mathematik liebt, aber kein Experte ist, ist es aufregend, ein so leistungsstarkes Werkzeug zur Hand zu haben! 1/