IA solucionou “Problema do Milênio” da matemática, diz OpenAI

A OpenAI afirmou na terça-feira (08) que um de seus modelos de inteligência artificial resolveu o problema da existência e suavidade de Navier-Stokes, um dos sete Problemas do Milênio da matemática. O Clay Mathematics Institute criou a lista em 2000 e oferece US$ 1 milhão pela solução correta de cada questão; até então, apenas uma havia sido resolvida.

As equações de Navier-Stokes descrevem o movimento de fluidos, como água e ar, e têm uso em previsões meteorológicas. A empresa diz que sua demonstração identificou uma situação em que essas equações deixam de funcionar. O modelo, ainda indisponível ao público, levou 88 horas para chegar ao resultado, segundo a OpenAI, que divulgou um artigo com uma demonstração na linguagem de programação Lean para permitir a análise externa.

A companhia mobilizou até 10 mil agentes de IA no trabalho, com pesquisadores humanos conectando ideias desenvolvidas por diferentes grupos. O matemático Terence Tao alertou que sistemas capazes de solucionar questões complexas podem reduzir a compreensão humana sobre os caminhos que levam às descobertas. “O esforço necessário para resolver problemas muitas vezes é muito instrutivo. Ele ensina alguma coisa”, afirmou.