Publicação do nosso arquivo. O texto abaixo preserva a legenda original, seus créditos e o contexto da data de publicação. Não é uma atualização da notícia.
A OpenAI apresentou uma solução para o problema de existência e regularidade de Navier–Stokes, um dos sete “Problemas do Milênio” da matemática.
Essas equações descrevem o movimento dos fluidos e aparecem em áreas como aerodinâmica, previsão do tempo e estudo do fluxo sanguíneo. A grande questão era saber se um fluxo inicialmente suave poderia desenvolver uma singularidade em tempo finito. O sistema da OpenAI produziu uma prova dizendo que sim, em uma das formulações oficiais do problema.
Mas talvez o mais impressionante seja como chegaram lá: cerca de 10 mil agentes de IA trabalhando simultaneamente, trocando 2,7 milhões de mensagens e consumindo aproximadamente 130 bilhões de tokens. Depois, a prova foi formalizada e verificada computacionalmente no Lean.
E tem outro detalhe: a OpenAI afirma que o modelo utilizado é significativamente mais poderoso que o recém-lançado GPT-6 Astra e ainda está em treinamento.
A prova ainda precisa enfrentar o escrutínio da comunidade matemática, e já existe debate sobre o resultado e sua autoria.
Se for confirmada, a história maior talvez nem seja Navier–Stokes: estamos começando a ver milhares de inteligências artificiais colaborando para produzir ciência que humanos não conseguiram produzir sozinhos.
O que acontece quando colocarmos 100 mil agentes para atacar outros grandes problemas da ciência?
#OpenAI #InteligenciaArtificial #Matematica #Ciencia #AgentesIA