OpenAI divulga centenas de manuscritos matemáticos gerados por IA e gera ceticismo entre matemáticos
Repositório público inclui provas checadas em Lean; reivindicações de solução para Navier–Stokes e outros resultados dependem de verificação externa e suscitam debate sobre crédito e treino de modelos
A OpenAI publicou um repositório público com centenas de manuscritos matemáticos gerados por inteligência artificial, organizados em famílias de pesquisa e incluindo algumas provas formalizadas no assistente de provas Lean.
A empresa afirma que seu modelo interno — cujo treino, segundo ela, começou no fim de agosto — produziu uma solução para o problema do Prêmio Millennium de Navier–Stokes e mais de 100 outros resultados antigos, alegações que ainda precisam de validação por pesquisadores fora da empresa.
Vários matemáticos de destaque acusaram a OpenAI de contornar normas acadêmicas, alegando especificamente que o laboratório se beneficiou de trabalhos não publicados e tentou reivindicar crédito antes de pesquisadores não afiliados.
A OpenAI diz ter formado um grupo consultivo independente e seguido parte de suas recomendações, mas a resposta da comunidade inclui novos registros e ferramentas de verificação — como Hexagon e Palomar — para catalogar e checar automaticamente saídas de IA.
A divulgação altera os incentivos do campo ao concentrar capacidades em poucos laboratórios. Nas próximas semanas, verificações formais — incluindo revisão do Clay Institute e checagem mais ampla por máquinas — vão determinar quais reivindicações se mantêm e como o crédito será atribuído.
