Modelo Astra da OpenAI resolve dez problemas matemáticos complexos em aberto
O novo modelo multiagente Astra, da OpenAI, conseguiu provar e formalizar dez problemas matemáticos que permaneciam sem solução há décadas. A proeza foi realizada a um custo inferior a 2000 dólares, demonstrando o enorme potencial de escalabilidade da IA na pesquisa científica.
Modelo Astra da OpenAI resolve dez problemas matemáticos complexos em aberto
A maioria destes desafios matemáticos permanecia por provar durante décadas. O novo modelo multiagente Astra conseguiu não apenas resolvê-los, mas também formalizar as provas utilizando a linguagem Lean. Este modelo foi apresentado por Sam Altman esta semana em Washington e será o primeiro a passar pelo novo processo de aprovação governamental para lançamento.
De forma impressionante, o custo total para resolver todos os dez problemas foi inferior a 2000 dólares em tokens, segundo estimativas de Sol. Embora a OpenAI tenha tentado anteriormente resolver outros problemas complexos sem sucesso, o potencial de escalabilidade demonstrado aqui é imenso.
Por que isso importa
AnáliseO sucesso do modelo Astra abre novas possibilidades para a automação de provas matemáticas, o que pode impactar significativamente a velocidade e a profundidade da pesquisa científica e da educação.
Debater na comunidade
Compartilhe suas dúvidas e insights com desenvolvedores
Relacionado no ecossistema
Guias práticos, terminologia essencial e skills de agentes
Quatro dicas de currículo do líder de desenvolvimento de IA aplicada na OpenAI
Wulfie Bain, líder de desenvolvimento de IA aplicada na OpenAI, destacou quatro regras: brevidade, relevância, foco em resultados e conquistas mais importantes no início.
AI Radar: GPT-6.1 Terra, Gemini 4 Carbon, Mistral Large 4 e mudanças de preços da OpenAI e da Anthropic
Resumo das novidades de IA: novos modelos LLM, mudanças nas assinaturas da OpenAI e da Anthropic, world models, geradores de vídeo e detalhes corporativos.
GPT-6 Astra: guia sobre o novo modelo da OpenAI
Visão geral completa do modelo flagship GPT-6 Astra: arquitetura agêntica, recursos de Computer Use, codificação no Codex, benchmarks de cibersegurança, nuances de prompt engineering e guia de migração de API.
OpenAI GPT (Modelos Flagship da Série GPT)
A principal linha universal de grandes modelos de linguagem da OpenAI (GPT-4, GPT-4o). Otimizada para análise textual complexa, programação, criatividade e trabalho intelectual diário.