Em texto originalmente publicado no The Conversation, a professora sênior Melissa Lee, da Monash University, descreve a comoção que tomou a comunidade matemática após uma grande divulgação de resultados assistidos por inteligência artificial — um episódio apelidado por alguns de "matematicalipse".
O que foi divulgado
No início de outubro, a OpenAI tornou públicos 722 artigos que tratam de 372 problemas em aberto nas áreas de álgebra, geometria e ciência da computação teórica. Entre as alegações estão avanços em problemas de grande visibilidade, como a hipótese de Riemann e a conjectura de Birch e Swinnerton‑Dyer, dois dos Problemas do Prêmio do Milênio.
Por que há ceticismo
A forma e a escala da divulgação — centenas de textos de uma só vez — geraram dúvidas sobre qualidade e revisão. Lee relata relatos de artigos incompreensíveis mesmo para especialistas; um colega sênior afirmou que teria descartado certa submissão se fosse editor. A própria OpenAI já retirou três artigos por erro elementar e corrigiu outros, o que reforça a percepção de falta de revisão adequada antes da publicação.
Quando questionado, o modelo de linguagem da OpenAI (identificado como GPT‑5.6 Sol) chegou a classificar pelo menos um dos resultados de grande repercussão como "uma alucinação grave" que não deveria ser citada ou divulgada sem auditoria completa por especialistas.
Controvérsia e motivações
Além das preocupações técnicas, surgiram acusações sobre o processo: os matemáticos Tristan Buckmaster e Levent Alpöge alegaram que a OpenAI teria acessado seus dados e ideias durante a busca por uma solução para o problema de Navier‑Stokes, e que a empresa dedicou cerca de US$ 15 milhões em poder de computação ao caso; a OpenAI negou as acusações.
Lee também aponta motivações mais amplas: a capacidade de produzir resultados de pesquisa em matemática pode reforçar a narrativa de progresso rumo a uma inteligência artificial geral (AGI) — um ganho de imagem que poderia beneficiar a empresa em momentos estratégicos, como possíveis movimentações de mercado.
Formalização e verificação
Para aumentar a confiança, a OpenAI afirma ter formalizado cerca de 300 dos principais resultados — isto é, traduzido provas para um formato verificável por software como o Lean. No entanto, nem todas as formalizações geradas automaticamente estão corretas, e já houve problemas anteriores com formalizações assistidas por IA. Não está claro se a comunidade matemática aceitará as formalizações apresentadas.
Reações e implicações
As reações variam do entusiasmo com avanços potenciais ao desconforto diante do volume e da velocidade das descobertas. Para muitos pesquisadores, especialmente em início de carreira, a onda levanta questões sobre autoria, revisão por pares e como será valorizado o trabalho humano quando parte da pesquisa puder ser antecipada ou auxiliada por ferramentas de IA.
Em última instância, conclui Lee, o teste definitivo desses resultados será a análise e a verificação que a própria comunidade matemática fará ao examinar as provas e formalizações com o rigor habitual da disciplina.
