AI oppnådde nettopp full pott i verdens vanskeligste mattekonkurranse. Putnam har 12 oppgaver x 10 poeng. Den høyeste poengsummen i fjor var 90. Medianen? 0. Axioms AI-beviser i Lean fikk 120/120 og delte bare alle løsningene. En stor milepæl for AI i matematikk.
Kilde:
164