OpenAI anuncia 377 soluções de problemas matemáticos
A OpenAI anunciou na terça-feira (6) a solução de 377 problemas matemáticos em aberto, abrangendo áreas como álgebra, teoria dos números e topologia. Os resultados foram divulgados após a empresa afirmar ter resolvido a equação de Navier-Stokes, um dos Problemas do Milênio, com recompensa de US$ 1 milhão.
Pontos-chave
- O grupo é sediado no Institute for Advanced Study, em Princeton, Nova Jersey, e é independente de qualquer empresa de IA.
- Entre outras sugestões, o conselho consultivo recomendou que todos os prompts enviados aos agentes de IA e as cadeias de raciocínio desses agentes fossem divulgados.
- Muitas das demonstrações foram verificadas usando o Lean, uma linguagem de programação que verifica a lógica subjacente.
Fonte originalJornal Brasil em Folhashttps://brasilemfolhas.com.br/2026/10/openai-anuncia-377-solucoes-de-problemas-matematicos…Publicado originalmente em 7 de outubro de 2026
Ler na fonte
Quem e o quê aparece nesta notícia
Relacionadas no arquivo
Gigantes da IA prometem solução para evitar uso de conteúdo de mídia para treinar modelosCoalizão liderada por Cate Blanchett desafia a OpenAI em batalha de direitos autorais no The New York TimesImagens de Pantera Cor-de-Rosa em protestos na França foram geradas por IACaso Flávio é fardo que Trump deve lidar durante midterms, diz Arko AdviceBrasileirão: Corinthians perde Matheuzinho para clássico contra São PauloComo a Inteligência Artificial resolveu um dos ‘Problemas do Milênio’ da Matemática
Resumo gerado com apoio de IA · local-heuristica · coletado em 30 out 2026 · 13h50
Pedir correção ou remoção