A empresa OpenAI informou que seu sistema interno de inteligência artificial conseguiu encontrar uma solução para um dos sete problemas do milênio — o problema da existência e suavidade das equações de Navier-Stokes. Matemáticos estavam trabalhando neste problema por muitas décadas.
Juntamente com a exposição da prova, a empresa forneceu sua versão formalizada no sistema Lean. As equações de Navier-Stokes são usadas para descrever o movimento de gases e líquidos, como na modelagem de fluxos de ar, clima e circulação sanguínea. O principal ponto controverso dizia respeito à possibilidade de surgimento de singularidades — estados que violam a suavidade do modelo matemático — em um movimento inicialmente suave de um fluido tridimensional durante um determinado período de tempo. A OpenAI afirma que seu sistema demonstrou essa possibilidade.
De acordo com os dados da empresa, cerca de 10 mil agentes de IA participaram do trabalho neste problema. A solução foi alcançada em 5 de setembro, após aproximadamente 88 horas de operação, e a posterior formalização e verificação da prova no Lean exigiram mais 17 horas. Durante o processo, os agentes trocaram 2,7 milhões de mensagens e geraram aproximadamente 130 bilhões de tokens de saída.
A revista Nature destacou este anúncio como um potencial avanço significativo na área da matemática, mas, no momento, trata-se apenas de um resultado declarado. Para o reconhecimento oficial desta conquista, o Instituto Clay de Matemática exige que a prova passe por uma análise independente e receba ampla aprovação da comunidade científica. De acordo com o regulamento do instituto, o candidato ao prêmio deve publicar a solução pelo menos dois anos antes da avaliação. Um prêmio de um milhão de dólares está previsto para cada um dos sete problemas do milênio, mas a OpenAI declarou que não buscará essa recompensa.
Além disso, foi relatado anteriormente que o modelo GPT-6 Astra passou com sucesso todos os 48 níveis do teste 'Eu não sou um robô', que simula vários tipos de CAPTCHA. Para realizar essas tarefas, a inteligência artificial interagiu autonomamente com a interface e realizou o reconhecimento do conteúdo da tela.