Mon dieu, c'est fou : Nomos 1 est un modèle open-source de 30B qui vient d'obtenir 87/120 au Putnam de cette année, ce qui est suffisant pour un classement estimé de #2/3988, montrant que des performances mathématiques humaines presque de haut niveau sont désormais possibles avec des modèles relativement petits, en plus d'une bonne configuration de post-formation et de raisonnement. Cela met un "mathématicien" IA à la pointe de la technologie et ses capacités de raisonnement complètes entre les mains de tout le monde, abaissant la barrière à la recherche mathématique sérieuse, à la vérification et aux outils de raisonnement avancés.