Astaga, itu gila: Nomos 1 adalah model open-source 30B yang baru saja mencetak skor 87/120 pada Putnam tahun ini, cukup baik untuk perkiraan #2/3988, menunjukkan bahwa mendekati puncak Kinerja matematika manusia sekarang dimungkinkan dengan model yang relatif kecil ditambah pengaturan pasca-pelatihan dan penalaran yang baik. Ini menempatkan "matematikawan" AI yang canggih dan kemampuan penalaran penuhnya ke tangan semua orang, menurunkan penghalang untuk penelitian matematika yang serius, verifikasi, dan alat penalaran canggih.