Avanços da IA na matemática geram debate entre pesquisadores

A atuação de grandes empresas de inteligência artificial na resolução de problemas matemáticos complexos dominou as discussões do Heidelberg Laureate Forum, realizado na Alemanha. Durante o evento promovido em setembro de 2026, pesquisadores e acadêmicos debateram como avanços recentes de companhias como OpenAI, Anthropic e Google estão impactando a rotina da pesquisa científica e desafiando convenções da comunidade acadêmica.

Avanços em problemas históricos

Segundo relatos apresentados no fórum, os modelos de linguagem e sistemas de automação evoluíram rapidamente de tarefas básicas para a resolução de desafios formulados por matemáticos renomados, além de verificações de provas complexas. Entre os anúncios recentes, a declaração da OpenAI de que teria solucionado o problema de existência e suavidade de Navier–Stokes — um dos Problemas do Prêmio Millennium estabelecidos pelo Clay Mathematics Institute — foi apontada como um marco para o raciocínio automatizado, desde que seja devidamente verificada.

Paralelamente, relatos indicam testes com outras questões históricas. Em agosto, a Anthropic utilizou uma versão não lançada do Claude para atuar na hipótese de Riemann, obtendo progressos em um problema correlato. Já a OpenAI estaria direcionando esforços para a conjectura de Hodge. Durante o evento, o ganhador da Medalha Fields Peter Scholze, da Universidade de Bonn, afirmou em um painel que as empresas estão resolvendo esses problemas difíceis como forma de demonstração técnica para atrair investidores e usuários.

Controvérsias e pressões na comunidade acadêmica

A conduta das empresas no meio científico também gerou críticas duras de pesquisadores presentes ao fórum. O matemático Geordie Williamson, da Universidade de Sydney, afirmou que a OpenAI agiu de maneira inadequada em relação aos padrões tradicionais da disciplina. Outro ponto levantado por Michael Harris, da Universidade de Columbia, envolveu relatos do pesquisador Tristan Buckmaster, da Universidade de Nova York, que descreveu interações consideradas coercitivas no processo de pesquisa e divulgação sobre o problema de Navier–Stokes.

Além das questões éticas, o avanço acelerado da tecnologia impõe desafios práticos aos pesquisadores em início de carreira. Mita Ramabulana, da Universidade de Cidade do Cabo, mencionou a frustração ao ver trabalhos acadêmicos sobrepostos por anúncios de empresas de tecnologia. Ao mesmo tempo, estudantes de pós-graduação relatam sentir pressão para adotar modelos de linguagem em suas rotinas de trabalho, chegando a gastar quantias expressivas em assinaturas e pacotes de tokens para manter o ritmo de suas pesquisas.