Suposta prova de Navier-Stokes da OpenAI levanta dúvidas sobre IA e compreensão matemática

A OpenAI afirma que milhares de agentes de IA resolveram o problema de existência e suavidade de Navier-Stokes, uma questão em aberto há décadas, mas o resultado ainda não foi confirmado por especialistas. A demonstração, com 166 páginas, permanece em revisão por pares. Enquanto isso, matemáticos discutem se uma resposta produzida por máquinas, mas ainda não compreendida por pessoas, pode ser considerada um avanço matemático relevante.

Um problema centrado na compreensão

As equações de Navier-Stokes descrevem o movimento de fluidos viscosos e têm aplicações práticas na engenharia, como a modelagem do fluxo de ar. O célebre desafio matemático, porém, é mais abstrato: busca determinar se, em determinadas condições, as equações podem produzir uma singularidade, equivalente a uma explosão de fluido sem sentido físico. O interesse dos matemáticos está na profundidade teórica da questão, não em uma possível melhoria direta no projeto de aeronaves.

Essa diferença é importante porque a pesquisa matemática costuma criar conceitos cujas aplicações só aparecem muito tempo depois. O relato compara esse processo à trajetória da teoria dos números e dos números imaginários, que passaram longos períodos sendo estudados principalmente por interesse intelectual antes de encontrarem usos práticos.

Um resultado antes da explicação

Segundo a reportagem, o sistema da OpenAI chegou ao resultado por meio de computação de força bruta e organizou o argumento em uma ordem pouco familiar. Agora, pesquisadores tentam reconstruir e compreender o caminho adotado. Especialistas também criticaram a falta de transparência da empresa, e um matemático sugeriu que trabalhos dele e de outros pesquisadores podem ter sido usados sem a devida atribuição.

As principais limitações continuam sendo a validade ainda não estabelecida e a falta de compreensão do processo. Os especialistas não tiveram tempo suficiente para confirmar a demonstração, e grandes modelos de linguagem não são confiáveis ao citar fontes nem ao explicar claramente seu raciocínio. A reportagem também não determina o grau de autonomia do sistema ou quanto conhecimento humano foi necessário para orientar o trabalho.

O que pode se perder

Matemáticos mencionados na reportagem temem que delegar cálculos difíceis elimine justamente o esforço capaz de levar a novas definições, técnicas e conjecturas. Eles também alertam que automatizar problemas mais simples pode reduzir as oportunidades de estudantes e pesquisadores em início de carreira aprenderem por meio de tarefas orientadas por profissionais mais experientes.

Em resposta a uma declaração assinada inicialmente por 25 vencedores da Medalha Fields e outras pessoas, a OpenAI criou um grupo consultivo formado por matemáticos. O documento é apresentado como uma defesa da compreensão na matemática, e não como uma rejeição à IA. A reportagem acrescenta que a geração da prova consumiu milhões de dólares em poder computacional, valor que também poderia financiar pesquisadores acadêmicos.

Ilustração editorial gerada por IA; não é uma fotografia documental.

Fonte: Solving Math’s Greatest Problems Was an Art Form. Then Came AI