O lançamento massivo de matemática da OpenAI provoca temores de carreira entre matemáticos acadêmicos

Na noite de 6 de outubro de 2026, a OpenAI abriu um repositório público contendo 722 manuscritos matemáticos, agrupados em 372 famílias de problemas, produzidos por um modelo interno não lançado, de acordo com o outlet de tecnologia Unite.AI. A empresa disse que havia proposto ao sistema aproximadamente 4.000 problemas abertos no total e publicou apenas o subconjunto que considerou válido lançar, cobrindo álgebra, teoria dos números, topologia, ciência da computação teórica e lógica matemática.

O que a OpenAI lançou

Unite.AI informou que o treinamento do modelo interno começou em 28 de agosto de 2026, com o teste de avaliação lançado em 1º de setembro. O modelo aparentemente produziu uma prova formalizada em Lean abordando a questão da singularidade de Navier-Stokes — um dos sete problemas do Prêmio do Milênio do Instituto Clay de Matemática — por volta de 5 de setembro, com a OpenAI anunciando o resultado publicamente em 8 de setembro. A empresa disse que não buscaria o prêmio associado de 1 milhão de dólares. A Fortune informou que a OpenAI também reivindicou progresso parcial em três outros problemas do Prêmio do Milênio no lote de 6 de outubro sem resolvê-los completamente.

Nem todo manuscrito veio com verificação verificada por máquina. Unite.AI observou que muitos, mas nem todos, os artigos incluíam formalizações no assistente de prova Lean, que verifica cada etapa lógica automaticamente; resultados não formalizados carregam um risco maior de erros ocultos. A Fortune informou que até 8 de outubro, a OpenAI já havia retirado pelo menos três das soluções publicadas após serem descobertos erros.

Um medalhista Fields diz que chorou

O lançamento afetou alguns pesquisadores pessoalmente. O outlet francês SenePlus informou que Hugo Duminil-Copin, que venceu a Medalha Fields em 2022 por trabalho em transições de fase em física estatística, descobriu que 16 de suas próprias questões de pesquisa aberta estavam entre os problemas que a OpenAI reivindicou ter abordado, dizendo que a empresa havia efetivamente encerrado essa linha de pesquisa. Ele disse que chorou durante a noite de terça-feira, 6 de outubro até 7 de outubro, a ponto de acordar sua filha.

De acordo com SenePlus, Duminil-Copin argumentou durante uma videoconferência organizada pela Sociedade Matemática Francesa em 8 de outubro que o objetivo de um pesquisador não é apenas provar teoremas, mas produzir compreensão para outros seres humanos. Ele disse que se preocupava mais com matemáticos no início de suas carreiras, dos quais temia que seriam mais afetados, pois a cultura informal de circulação de ideias e resultados parciais entre colegas se desfaz se os matemáticos começarem a reter trabalho devido à pressão competitiva.

Matemáticos se opõem

O lançamento provocou uma declaração aberta da Association for Human Mathematics (AHM), um grupo cujo Communications Working Group a postou como uma entrada de convidado no blog do matemático Terence Tao em 7 de outubro. A declaração disse que os matemáticos não haviam solicitado esse corpo de trabalho e que a OpenAI havia ignorado orientações anteriores do Advisory Group on Mathematics and Artificial Intelligence, um órgão independente que aconselha sobre como as empresas de IA devem testar e publicar afirmações matemáticas, de acordo com a declaração da AHM. A declaração descreveu o lançamento de mais de 700 arquivos de uma vez como refletindo a escala dos recursos da OpenAI em vez de uma revisão acadêmica cuidadosa.

A Fortune informou que Terence Tao, escrevendo no Mastodon, disse que o episódio marca o fim do que ele chamou de Math 1.0, argumentando que os problemas estão sendo cada vez mais resolvidos por usuários de IA sem interesse no campo mais amplo em si e que a disciplina precisa colocar mais valor na exposição e construção de comunidade do que apenas na resolução de problemas. O matemático da Universidade de Nova York Tristan Buckmaster, que havia levantado preocupações anteriormente sobre o trabalho de Navier-Stokes, disse ao New York Times, conforme citado pela Fortune, que suspeitava que alguns dos resultados publicados estendiam trabalhos anteriores de outros matemáticos até a conclusão sem crédito adequado.

O matemático da Universidade de Columbia Peter Woit, escrevendo em seu blog Not Even Wrong, descreveu o lançamento como mal organizado e disse que a OpenAI havia ignorado as recomendações do grupo consultivo antes de transferir a responsabilidade de classificar os resultados para a própria comunidade matemática. Woit identificou o sistema por trás dos artigos como um modelo que ele chamou de 'Astra'. Comentaristas em sua postagem disseram que muitas das provas geradas por IA eram tecnicamente densas, mas ofereciam pouca intuição matemática ou nova compreensão teórica, mesmo quando corretas.

Não é uma luta nova

A fricção entre a OpenAI e os matemáticos é anterior ao lançamento de outubro. A TechCrunch informou que em outubro de 2025, o vice-presidente da OpenAI Kevin Weil postou — e depois deletou — uma afirmação de que o GPT-5 havia encontrado soluções para 10 problemas de Erdős previamente sem solução e fez progresso em 11 outros. Thomas Bloom, que mantém o banco de dados público de Problemas de Erdős, disse que o enquadramento era altamente enganoso, explicando que os problemas marcados como 'abertos' em seu site simplesmente significavam que ele não tinha conhecimento de uma solução publicada, não que nenhuma existisse; ele disse que o GPT-5 havia localizado referências existentes que havia perdido. O pesquisador da OpenAI Sebastien Bubeck posteriormente reconheceu que o modelo havia meramente localizado soluções existentes na literatura publicada em vez de descobrir novas, embora tenha dito que isso ainda tinha valor.

Apoiadores dizem que o campo pode se adaptar

Nem todo matemático tratou o lançamento como uma crise. A Fortune citou o matemático da Universidade de Toronto Dan Litt como dizendo que considerava o desenvolvimento positivo em geral para a matemática, enquanto advertia que a sociedade precisa continuar financiando matemáticos humanos para que o campo não perca apoio institucional como resultado. Litt também observou que a OpenAI não emprega matemáticos suficientes para redigir todos os seus resultados como artigos convencionais, o que ele disse ajudava a explicar, sem desculpar, a escala e velocidade do lançamento.

• 722 manuscritos gerados por IA em 372 famílias de problemas foram lançados em 6 de outubro de 2026 (Unite.AI).
• A OpenAI testou o modelo em aproximadamente 4.000 problemas abertos antes de publicar o subconjunto selecionado (Unite.AI).
• Pelo menos três resultados publicados foram retirados até 8 de outubro após a descoberta de erros (Fortune).
• O medalhista Fields Hugo Duminil-Copin disse que 16 de suas próprias questões abertas estavam entre os problemas abordados (SenePlus).
• A Association for Human Mathematics exortou matemáticos a parar de colaborar com a OpenAI (Blog de Terence Tao).