OpenAI prova que as equações de Navier-Stokes têm singularidade em tempo finito

Em 8 de setembro, a OpenAI anunciou que o seu sistema multiagente interno provou com sucesso que as equações de Navier-Stokes incompressíveis tridimensionais podem formar singularidades em tempo finito, resolvendo assim o problema do século. A prova foi conduzida por um modelo dentro da OpenAI mais poderoso que o GPT-6 Astra e obteve resultados preliminares em 5 de setembro, seguidos de 17 horas de verificação formal em Lean. A OpenAI afirmou que a prova demonstra que, sob a influência de forças externas suaves, um fluido estacionário pode evoluir para estruturas de vórtice que espiralam para dentro e se esticam, com energia permanecendo finita, mas velocidade crescendo sem limites, correspondendo aos casos "C" e "D" dos Problemas do Prémio do Milénio. Todo o processo de resolução envolveu cerca de 10.000 agentes concorrentes, enviou aproximadamente 2,7 milhões de mensagens e consumiu cerca de 130 mil milhões de tokens de saída. A OpenAI reconheceu que esta tentativa foi inspirada por rumores de trabalho paralelo do funcionário da Anthropic, Levent Alpöge, e do professor da NYU, Tristan Buckmaster, observando que as duas partes chegaram a resultados diferentes em relação ao problema da regularidade das equações de Euler, com a OpenAI a provar o caso sem forças externas, enquanto a outra parte provou o caso com forças externas.