OpenAI afirma prova de singularidade em tempo finito nas equações de Navier-Stokes

ChainCatcher relata que, em 8 de setembro, a OpenAI anunciou que seu sistema multiagente interno successfully provou que a equação de Navier-Stokes incompressível tridimensional pode formar singularidades em tempo finito, resolvendo assim este problema do século. A prova foi conduzida por um modelo interno da OpenAI mais poderoso que o GPT-6 Astra, com resultados preliminares obtidos em 5 de setembro, seguidos por 17 horas de verificação formal em Lean. A OpenAI afirmou que a prova demonstra que, sob a ação de forças externas suaves, um fluido em repouso pode evoluir para estruturas de vórtice espiralares e esticadas para dentro, com energia finita mas velocidade ilimitadamente crescente, correspondendo aos cenários "C" e "D" do problema do Prêmio Millennium. Todo o processo de resolução utilizou aproximadamente 10 mil agentes simultâneos, enviando cerca de 2,7 milhões de mensagens e consumindo aproximadamente 130 bilhões de tokens de saída. A OpenAI reconheceu que esta tentativa foi inspirada por rumores sobre o trabalho paralelo do funcionário da Anthropic Levent Alpöge e do professor da NYU Tristan Buckmaster, e afirmou que os resultados nos dois lados diferem no problema da regularidade da equação de Euler: a OpenAI provou o caso sem força externa, enquanto o outro grupo provou o caso com força externa.