TLDR;

Uma versão interna da Astra resolveu dez problemas matemáticos abertos por mais de uma década em áreas como geometria de alta dimensão e teoria de grupos, conforme relatório oficial da OpenAI. A OpenAI está criando famílias de modelos com nomes próprios como Astra, Soul e Terra, sinalizando possível desvalorização da marca GPT em favor de uma estrutura semelhante à da Anthropic. O custo de geração das dez soluções foi de cerca de dois mil dólares em tokens, com pesquisadores humanos auxiliando na formalização das provas em Lean e na redação dos artigos.

Resumo

A OpenAI revelou o desenvolvimento de uma nova família de modelos chamada Astra, projetada para tarefas de longa duração e coordenação de múltiplos agentes em paralelo. Segundo um relatório publicado pela empresa, uma versão interna do Astra resolveu dez problemas matemáticos abertos em áreas como geometria de alta dimensão, teoria dos grupos, criptografia em reticulados e combinatória extremal, questões nas quais a comunidade científica não avançava há mais de uma década. O custo total de inferência para gerar as soluções foi de cerca de dois mil dólares, e os resultados foram formalizados em Lean, com verificação matemática automatizada. Matemáticos como Thomas Bloom consideraram o feito mais significativo que contraexemplos recentes, embora enfatizem que o modelo não substitui pesquisadores, mas compila e aplica o conhecimento acumulado da área. O anúncio também levanta questões sobre autoria, alinhamento de segurança e o possível vazamento de uma versão do sistema para ambientes externos.