Aristoteles @HarmonicMath:sta sai 10/12 tehtävää seitsemässä tunnissa Putnamissa, maailman vaikeimmassa kandidaattimatematiikan kilpailussa! Mistä tiedän tämän? No, ajoin Aristoteleen itse Harmonicin julkisen API:n kautta. Ja minulta meni noin 10 minuuttia aloittaa ja aloittaa! 9/10 tehtävää suoritettiin alle kolmessa tunnissa. Kymmenes (B5) kesti 7 tuntia, tunnin enemmän kuin kilpailijoille on varattu. Kaikissa kymmenessä tehtävässä annoin Aristotelelle englanninkieliset ongelmalauseet — ja se autoformalisoi väitteet, todisti ne ja tuotti varmennettuja tuloksia itsenäisesti, ilman ihmisen palautetta. Matematiikan ystävänä mutta en asiantuntijana on innostavaa saada näin tehokas työkalu käden ulottuvilla! 1/