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