Hoje vamos disponibilizar o Nomos 1 em código aberto. Com apenas 30B de parâmetros, ele obtém 87/120 no Putnam deste ano, uma das competições de matemática mais prestigiadas do mundo.
Essa pontuação ficaria em #2/3988 em 2024 e marca nosso primeiro passo com @hillclimbai para criar um matemático de IA SOTA.