A OpenAI afirma que seu sistema de IA resolveu, em cerca de 88 horas, um problema matemático em aberto há aproximadamente 90 anos. 🤖🧵 A empresa diz que cerca de 10 mil agentes de IA trabalharam simultaneamente na busca pela demonstração.

Imagem indisponível

O tema é o problema de existência e suavidade das equações de Navier–Stokes, um dos sete Problemas do Milênio selecionados pelo Instituto Clay em 2000. A solução reconhecida formalmente para esse desafio tem prêmio de US$ 1 milhão.

Essas equações descrevem o movimento de fluidos e gases: água em canos, ar em uma sala, circulação sanguínea, aerodinâmica de aviões e modelos de previsão do tempo. São fórmulas centrais para física, engenharia e clima.

Imagem indisponível

A pergunta central é se um fluido que começa com comportamento suave pode desenvolver uma “singularidade”: um ponto em que a velocidade prevista pelas equações cresce sem limite em tempo finito.

Isso não significa que água ou ar atingiriam velocidade infinita no mundo real. Uma singularidade indicaria um limite do modelo matemático: as equações deixariam de representar corretamente aquele cenário físico.

Imagem indisponível

Segundo a OpenAI, a prova encontrou um caso em que a singularidade pode ocorrer mesmo com força externa suave e energia total finita. A empresa publicou uma demonstração e uma versão em Lean, linguagem usada para verificar provas por computador.

Mas a alegação ainda precisa passar pelo crivo da comunidade matemática e do Instituto Clay. Em ciência, uma prova extraordinária não se consolida pelo anúncio: exige revisão rigorosa, reprodução e consenso independente. O uso de IA pode acelerar esse processo — sem substituí-lo.

Imagem indisponível