Aristotle din @HarmonicMath a rezolvat 10/12 probleme în 7 ore la Putnam, cea mai dificilă competiție de matematică pentru studenți din lume! De unde știu asta? Ei bine, eu am rulat Aristotle prin API-ul public al Harmonic. Și mi-a luat cam 10 minute să încep și să încep! 9 din 10 probleme rezolvate în mai puțin de 3 ore. Al zecelea (B5) a durat 7 ore, cu o oră mai mult decât le este alocat concurenților. Pentru toate cele 10 probleme, i-am dat lui Aristotel enunțurile problemei în engleză — și le-a autoformalizat, le-a demonstrat și a produs rezultate verificate autonom, fără niciun feedback uman. Ca cineva care iubește matematica, dar nu este expert, este incitant să am un instrument atât de puternic la îndemână! 1/