Uau, isso é insano: O Nomos 1 é um modelo open-source de 30B que acabou de marcar 87/120 no Putnam deste ano, bom o suficiente para uma estimativa de #2/3988, mostrando que um desempenho matemático humano quase no topo agora é possível com modelos relativamente pequenos, além de uma boa configuração de pós-treinamento e raciocínio. Isso coloca um "matemático" de IA de ponta e suas plenas capacidades de raciocínio nas mãos de todos, reduzindo a barreira para pesquisa matemática séria, verificação e ferramentas de raciocínio avançadas.