Doamne, asta e nebunie: Nomos 1 este un model open-source 30B care tocmai a obținut 87/120 la Putnam-ul din acest an, suficient pentru un estimat #2/3988, arătând că aproape de top Performanța matematică umană este acum posibilă cu modele relativ mici plus o bună configurație post-antrenament și raționament. Aceasta pune în mâinile fiecăruia un "matematician" AI de ultimă generație și toate capacitățile sale de raționament, coborând bariera către cercetare serioasă în matematică, verificare și instrumente avansate de raționament.