Em 6 de outubro de 2026, surgiu o relato de que a OpenAI planejava publicar centenas de resultados matemáticos no GitHub. Naquele dia, Lindsay McCallum, porta-voz da empresa, disse que ainda não havia horário definido para a divulgação. Em paralelo, a OpenAI afirmou que um modelo interno havia resolvido mais de 100 problemas abertos de longa data.
O plano de publicação no GitHub
O plano relatado previa a divulgação de centenas de resultados matemáticos no GitHub. Esse número se refere à publicação planejada; a afirmação da OpenAI sobre mais de 100 problemas resolvidos é uma declaração separada.
McCallum disse que a OpenAI consultava seu grupo consultivo de matemática e inteligência artificial no Institute for Advanced Study e recomendações públicas para orientar a divulgação dos próximos resultados. A empresa também havia iniciado, em 28 de agosto, o treinamento do modelo interno mencionado por McCallum.
O que a OpenAI afirma sobre o modelo
Segundo McCallum, o modelo resolveu mais de 100 problemas abertos de longa data, em diversas áreas da matemática, incluindo o problema do Prêmio do Milênio de Navier–Stokes. Trata-se da afirmação da empresa sobre os resultados do modelo.
Por que matemáticos defenderam artigos explicativos
Em agosto, a OpenAI reuniu cerca de 40 matemáticos para conversar sobre as capacidades da IA em matemática e a forma de divulgar os resultados. Bryna Kra, matemática da Northwestern University, disse que os participantes defenderam a publicação de artigos explicativos, em vez de depender apenas de posts em blogs ou redes sociais.
A proposta tem uma razão prática: textos detalhados permitem que outros matemáticos examinem os argumentos, compreendam os resultados e os aproveitem em trabalhos posteriores. Kra avaliou que a contribuição dos participantes aparentemente não havia mudado a abordagem da empresa.
A disputa de autoria entre Buckmaster, Alpöge e Bubeck
Tristan Buckmaster acusou a OpenAI de se antecipar a um trabalho relacionado a Navier–Stokes que ele desenvolvia com Levent Alpöge, funcionário da Anthropic. Buckmaster também disse que Sébastien Bubeck, pesquisador da OpenAI, pareceu sugerir que Alpöge não fosse incluído como autor de um artigo. Bubeck negou ter pedido que Alpöge ficasse fora da lista de autores.
Ferramentas para organizar a matemática assistida por máquinas
Hexagon é um repositório de material matemático gerado principalmente por IA. Palomar é um registro de matemática verificada por máquinas.
