Aristoteles fra @HarmonicMath fikk 10 av 12 oppgaver innen 7 timer på Putnam, verdens vanskeligste matematikkkonkurranse for bachelorstudenter! Hvordan vet jeg dette? Vel, jeg kjørte Aristotle selv via Harmonics offentlige API. Og det tok meg omtrent 10 minutter å komme i gang og sette i gang! 9 av 10 oppgaver ble løst på under 3 timer. Den tiende (B5) tok 7 timer, én time mer enn det deltakerne har fått tildelt. For alle de 10 oppgavene ga jeg Aristoteles problemsetningene på engelsk — og den autoformaliserte utsagnene, beviste dem, og produserte verifiserte resultater autonomt, uten menneskelig tilbakemelding. Som en som elsker matte, men ikke er ekspert, er det spennende å ha et så kraftig verktøy lett tilgjengelig! 1/