OpenAI publica mais de 700 preprints de matemática gerados por IA e desencadeia polémica entre matemáticos

Segundo a Nature, a empresa usou o modelo não divulgado para abordar centenas de problemas matemáticos de grande visibilidade, publicando as soluções em bloco. A comunidade de investigação reagiu com forte contestação, e uma correção publicada a 12 de outubro teve de ampliar uma citação do matemático Michael Harris para clarificar a sua posição sobre o episódio.

Num artigo de opinião na Nature publicado a 22 de outubro, o medalhista Fields Terence Tao, da UCLA, apontou o lançamento da OpenAI como exemplo de um problema mais amplo a que chama 'indigestão de provas': a compreensão humana está a ficar atrás da produção de provas por IA. Tao alerta que, embora isto seja um incómodo relativamente menor na matemática pura, modelos de IA complexos já usados em áreas como a concessão de crédito bancário podem falhar de formas que ninguém entende, prejudicando o público. Tao defende uma nova era de 'Matemática 2.0' em que a escassez de provas deixe de definir o campo, mas alerta que os incentivos atuais da disciplina precisam de mudar primeiro. Episódio que também ilustra a estratégia competitiva da OpenAI em usar um modelo ainda não divulgado para dominar a narrativa científica antes dos concorrentes.

Perguntas frequentes

Quantos preprints publicou a OpenAI?

Mais de 700, abordando problemas matemáticos de grande visibilidade, publicados em bloco no GitHub a 6 de outubro de 2026.

O que é a 'indigestão de provas' de que fala Terence Tao?

É o fenómeno em que a produção de provas matemáticas por IA ultrapassa a capacidade humana de as compreender e verificar em tempo razoável.

Fontes

• Nature www.nature.com
• Nature (opinião de Terence Tao) www.nature.com

Resumo editorial em português feito com apoio de inteligência artificial a partir das fontes indicadas. Como fazemos o Boletim IA.