Heilige molen, dat is insane: Nomos 1 is een open-source model van 30B dat dit jaar 87/120 heeft gescoord op de Putnam, goed voor een geschatte #2/3988, wat laat zien dat bijna-top menselijke wiskunde prestaties nu mogelijk zijn met relatief kleine modellen plus een goede post-training en redeneersetup. Dit brengt een state-of-the-art AI "wiskundige" en zijn volledige redeneercapaciteiten in de handen van iedereen, waardoor de drempel voor serieuze wiskundeonderzoek, verificatie en geavanceerde redeneertools verlaagd wordt.