O AGENTICO
Navier-Stokes
conceito · 13 menções
O que as fontes disseram sobre Navier-Stokes
As fontes relatam que a OpenAI afirma ter provado, com modelos de IA e cerca de 10 mil agentes em 88 horas, que as equações de Navier-Stokes podem desenvolver singularidade em tempo finito, abordando um dos Problemas do Milênio a um custo de milhões de dólares. A empresa teria usado um modelo interno mais poderoso que o GPT-6 Astra, apelidado de 'Doug', e ainda disse ter feito progresso substancial em um segundo Millennium Prize Problem. No entanto, a solução não passou por revisão por pares, pesquisadores questionam o método e a possível influência de trabalhos não publicados de matemáticos como Tristan Buckmaster, e a revisão do Clay Mathematics Institute segue pendente, com uma disputa de créditos em aberto.
Dados
| Agentes de IA utilizados | cerca de 10 mil agentes de IA |
| Tempo para resolver o problema | 88 horas |
| Tempo desde a formulação do problema matemático | 90 anos |
| Duração da coordenação dos agentes na prova de Navier-Stokes | 88 horas |
| Agentes de IA usados na prova de Navier-Stokes | cerca de 10 mil agentes |
| Custo de computação da prova | milhões de dólares |
Menções

A OpenAI afirmou ter resolvido a equação de Navier-Stokes, um dos Problemas do Milênio.
Essa seria a primeira vez que um problema do Milênio é resolvido por IA, marcando um feito histórico.

A revisão do Clay Mathematics Institute sobre a prova de Navier-Stokes da OpenAI ainda está pendente, e uma disputa de créditos com o matemático Tristan Buckmaster continua sem solução.
Além da especulação sobre o novo problema, a solução anterior ainda não foi validada oficialmente e enfrenta controvérsias sobre a autoria, o que gera debates sobre a veracidade e a ética das conquistas.

A OpenAI teria usado uma variante de seu próximo modelo pré-treinado, codinome 'Doug', na solução do problema de Navier-Stokes, possivelmente a um custo de milhões de dólares.
Os detalhes sobre a abordagem técnica e os custos envolvidos na solução anterior, embora não confirmados, dão pistas sobre os métodos e recursos que a empresa está dedicando a esses quebra-cabeças matemáticos.

A OpenAI disse ao New York Times que fez 'progresso substancial' em um segundo Millennium Prize Problem.
A afirmação da OpenAI sobre um novo avanço matemático importante, sem detalhar qual problema, aumenta as especulações e a expectativa na comunidade científica.

A OpenAI resolveu um problema matemático de 90 anos em 88 horas usando um novo modelo e cerca de 10 mil agentes de IA.
A solução de um problema de Navier-Stokes, sem verificação independente, destaca o rápido avanço da IA, mas também levanta questões sobre confiabilidade.

A solução ainda não passou por publicação científica e revisão por pares, então a comunidade matemática não confirmou a validade do resultado.
Sem revisão independente, a alegação da OpenAI permanece não verificada, e o prêmio de US$ 1 milhão só seria pago após validação formal.
Todo dia, só o que dois veículos independentes confirmaram — no seu feed.