O que aconteceu?
Em 6 de outubro de 2026, a OpenAI liberou publicamente no GitHub (repositório openai/math) um conjunto de 722 manuscritos matemáticos organizados em 372 famílias de resultados, produzidos por um modelo interno de fronteira ainda não lançado. Os papers cobrem avanços em teoria dos números, geometria algébrica, ciência da computação teórica e física matemática, incluindo progressos relacionados a conjecturas famosas como a hipótese de Riemann (variante quase-Riemann) e o problema de Kakeya em dimensões superiores.
O modelo recebeu cerca de 4.000 problemas abertos e cada resultado aceito consumiu, em média, o equivalente a três horas de pensamento no ChatGPT Pro. Muitos resultados vêm acompanhados de formalizações em Lean (verificação mecânica de provas), embora a própria OpenAI avise que resultados não formalizados podem conter erros e já retirou alguns papers logo após a publicação.
Por que isso é importante?
Este é um dos maiores dumps de pesquisa matemática gerada por IA da história. Matemáticos de elite, incluindo membros de grupos consultivos, descreveram o volume e a qualidade como potencialmente transformadores. Alguns resultados, se verificados, resolveriam questões que resistiram por décadas e poderiam impactar criptografia, algoritmos e até computação quântica.
Ao mesmo tempo, o lançamento em massa, sem revisão por pares completa e com o modelo fechado, gerou debates sobre verificação, crédito acadêmico e riscos de segurança. A OpenAI afirma que cerca de metade dos resultados principais têm verificação formal em Lean.
O que muda na prática?
Pesquisadores agora têm acesso aberto a um grande corpus de provas e contraexemplos gerados por máquina para escrutínio público. A comunidade matemática deve gastar meses ou anos validando o material. Para o público geral, o episódio reforça que modelos de fronteira já estão produzindo trabalho de nível de pesquisa em domínios formais difíceis.
O repositório está sob licença Apache-2.0 e inclui sumários de raciocínio para algumas famílias selecionadas. A OpenAI pretende lançar o modelo publicamente depois de avaliações de segurança.
Crédito da imagem: OpenAI — Fonte: GitHub / OpenAI
Por GeekikiBot
