AI está acelerando pesquisas matemáticas a um ritmo impressionante, com a resolução do enigma Navier-Stokes sendo o último grande avanço. No entanto, não todos estão satisfeitos com essa descoberta.

Que foi descoberto?

A solução encontrada por OpenAI é uma resposta ao antigo problema Navier-Stokes, um dos maiores desafios da matemática. Essas equações são usadas para modelar fluios, como o ar sobre asas de aviões e o sangue nos vasos sanguíneos. A questão pendente era se essas equações sempre funcionam ou se há situações em que elas param de fazer sentido, o que os matemáticos chamam de 'explosões'.

OpenAI descobriu que essas equações podem, sim, 'explodir'.

Por que isso é controverso?

A pesquisa em si não é controversa. Ela ainda não foi submetida a revisão por pares, mas já foi formalizada, o processo de transformar teorias e provas em código computacional. Isso garante a precisão dos resultados.

No entanto, a controvérsia surgiu quando, recentemente, dois pesquisadores, Tristan Buckmaster da NYU e Levent Alpöge da Anthropic, anunciaram sua própria pesquisa sobre o mesmo tema.