Aristoteles från @HarmonicMath fick 10 av 12 problem inom 7 timmar på Putnam, världens svåraste matematiktävling för grundutbildningar! Hur vet jag detta? Jag körde Aristoteles själv via Harmonics publika API. Och det tog mig ungefär 10 minuter att komma igång och sätta igång! 9 av 10 problem klarade på mindre än 3 timmar. Den tionde (B5) tog 7 timmar, en timme mer än vad deltagarna har fått. För alla 10 problem gav jag Aristoteles problemsatserna på engelska — och den autoformaliserade påståenden, bevisade dem och producerade verifierade resultat autonomt, utan någon mänsklig återkoppling. Som någon som älskar matte men inte är expert är det spännande att ha ett så kraftfullt verktyg till hands! 1/