Caramba, isso é insano: O Nomos 1 é um modelo open-source 30B que acabou de obter 87/120 no Putnam deste ano, bom o suficiente para um estimado #2/3988, mostrando que está quase no topo O desempenho em matemática humana agora é possível com modelos relativamente pequenos, além de uma boa configuração pós-treinamento e raciocínio. Isso coloca um "matemático" de IA de última geração e todas as suas capacidades de raciocínio nas mãos de todos, reduzindo a barreira para pesquisas matemáticas sérias, verificação e ferramentas avançadas de raciocínio.