OpenAI decifra enigma matemático do século 19 em 88 horas com apoio de 10 mil agentes e recusa prêmio milionário
A OpenAI anunciou nesta terça-feira (8) que um sistema interno de inteligência artificial resolveu o problema de Navier-Stokes, uma das questões mais difíceis da matemática e um dos sete Problemas do Milênio. Segundo a empresa, 10 mil agentes de IA trabalharam de forma coordenada na busca pela solução.
Pontos-chave
- O grupo chegou ao resultado em 88 horas, enquanto a formalização e a verificação da demonstração em Lean consumiram outras 17 horas.
- A OpenAI afirma que o resultado demonstra matematicamente que determinadas dinâmicas descritas pelas equações de Navier-Stokes podem desenvolver uma singularidade em tempo finito.
- A empresa publicou a demonstração matemática e sua formalização em Lean, uma linguagem utilizada para verificação formal de provas.
Fonte originalDiário do Litoralhttps://www.diariodolitoral.com.br/cotidiano/openai-decifra-enigma-matematico-do-seculo-19…Publicado originalmente em 9 de setembro de 2026
Ler na fonte
Quem e o quê aparece nesta notícia
EmpresaOpenAI ★
PessoaOlimpíada Nacional de Inteligência Artificial
AssuntoInteligência Artificial
EmpresaPartido Novo
PessoaRegião Central
PessoaAgentes de IA
PessoaClay Mathematics Institute
1 favorecida0 prejudicadas6 neutras
Relacionadas no arquivo
Coalizão liderada por Cate Blanchett desafia a OpenAI em batalha de direitos autorais no The New York TimesSam Altman afirma que a OpenAI não diminuirá o ritmo de publicação de papéis científicosHistória que aponta para homem que teria sido preso após confusão em banheiro de academia é falsa e usa foto de IACaso Flávio é fardo que Trump deve lidar durante midterms, diz Arko AdviceBrasileirão: Corinthians perde Matheuzinho para clássico contra São PauloDólar fecha a R$ 5,44 e registra maior alta semanal desde 2008
Resumo gerado com apoio de IA · local-heuristica · coletado em 30 out 2026 · 06h06
Pedir correção ou remoção