Dnes používáme open source Nomos 1. S pouhými 30B parametry dosahuje letošního Putnamu, jedné z nejprestižnějších matematických soutěží na světě, 87/120.
Toto skóre by bylo v roce 2024 na #2/3988 a představuje náš první krok @hillclimbai k vytvoření matematika pro AI v SOTA.
