O Modelo Astra da OpenAI Resolve Dez Grandes Problemas Matemáticos Abertos

A OpenAI anunciou que o Astra, um modelo interno avançado, obteve provas para dez importantes problemas matemáticos não resolvidos. Os avanços abrangem áreas diversas, incluindo limites de empacotamento de esferas, teoria dos grupos, teoria da complexidade e computação quântica. Cada solução foi formalmente verificada usando demonstração automática Lean. A empresa estimou que resolver estes problemas custaria aproximadamente $2.000 em tokens computacionais com preços de API padrão. Embora as tentativas do Astra em outros problemas tenham sido malsucedidas, pesquisadores indicaram que computação adicional em tempo de teste poderia desbloquear novos avanços matemáticos. O feito demonstra progresso significativo na capacidade de IA para raciocínio matemático avançado.