Sakra, to je šílené: Nomos 1 je open-source model 30B, který letos na Putnamu získal skóre 87/120, což je dost na odhadované #2/3988, což ukazuje téměř vrchol Lidský matematický výkon je nyní možný díky relativně malým modelům a dobrému nastavení pro post-trénink a uvažování. To dává špičkového AI "matematika" a jeho plné schopnosti uvažování do rukou všech, čímž se snižuje bariéra pro seriózní matematický výzkum, ověřování a pokročilé nástroje uvažování.