Herregud, det er helt sprøtt: Nomos 1 er en 30B åpen kildekode-modell som nettopp fikk 87/120 på årets Putnam, godt nok til en estimert #2/3988, noe som viser at det er nær toppen Menneskelig matematikkytelse er nå mulig med relativt små modeller pluss god ettertrening og resonnement. Dette gir en toppmoderne AI-«matematiker» og dens fulle resonnementsevner i alles hender, og senker terskelen for seriøs matematikkforskning, verifisering og avanserte resonnementverktøy.