A OpenAI afirma ter resolvido um dos problemas mais difíceis e antigos da matemática: o chamado problema de existência e suavidade de Navier-Stokes, uma das sete questões do “Prêmio do Milênio” estabelecidas pelo Clay Mathematics Institute.
Segundo a empresa, um sistema interno de inteligência artificial (IA) produziu uma prova analítica que demonstra que as equações de Navier-Stokes podem desenvolver uma singularidade em tempo finito. A OpenAI também apresentou uma formalização da prova na linguagem Lean, usada para verificar matematicamente o resultado.
O anúncio representa um avanço significativo para a IA aplicada à matemática. As equações de Navier-Stokes são usadas para descrever o movimento de fluidos e aparecem em áreas, como previsão do tempo, projeto de aeronaves e estudo do fluxo sanguíneo.
A questão que permaneceu sem resposta por décadas é se essas equações conseguem manter uma solução suave em três dimensões ou se, em determinadas condições, podem entrar em colapso e produzir uma singularidade. Nesse cenário, a velocidade do fluido cresceria sem limite em um intervalo finito de tempo.
O problema foi formulado como uma das sete questões do Millennium Prize Problems em 2000. Cada uma delas recebeu um prêmio de US$ 1 milhão (R$ 5 milhões) para quem apresentasse uma solução correta.
:quality(85)/ae150953-dfb7-423f-b69e-d3f98f6e4002.jpg)
