OpenAI anuncia solução para problema matemático de US$ 1 milhão
O panorama: A OpenAI anunciou uma solução para o problema de Navier Stokes, sobre os limites das equações usadas para descrever fluidos. Ele integra os desafios do Milênio, com prêmio de US$ 1 milhão.
Os detalhes:
- A pergunta é se um movimento inicialmente suave pode chegar a um ponto em que as equações deixam de oferecer uma solução suave. O artigo constrói esse caso: um fluido começa em repouso, recebe uma força externa suave e desenvolve velocidade sem limite em tempo finito, mantendo a energia limitada. É uma ruptura matemática, não água de verdade acelerando ao infinito.
- A busca reuniu cerca de 10 mil agentes de um modelo interno, descrito pela empresa como mais capaz que o GPT-6 Astra. O Astra entrou depois, na formalização e verificação da prova.
- A evidência publicada inclui um artigo de 166 páginas e uma formalização em Lean, que permite checar passos lógicos por computador. O Clay ainda lista o problema como não resolvido; a OpenAI diz que não pretende pedir o prêmio.
Por que importa: O que me chama atenção é a IA entregar uma resposta nova acompanhada de algo que outras pessoas podem examinar. Para a ciência, encontrar uma ideia e permitir que ela seja conferida são partes do mesmo avanço.
