OpenAI diz que Astra resolveu 10 problemas matemáticos em aberto
Engenheiro da Anthropic reproduziu 5 dos resultados em menos de 24 horas com o Claude Fable, e críticos chamam o anúncio de marketing.
Pontos principais
- A OpenAI revelou no sábado, 1º de agosto, que uma versão interna do Astra produziu novos resultados em 10 problemas de matemática e ciência da computação teórica, abertos havia pelo menos uma década.
- As provas vêm com certificados em Lean 4, linguagem de provas formais verificável por computador.
- Noam Brown, pesquisador da OpenAI, escreveu que o resultado será "um passo importante para o raciocínio científico".
- Levent Alpoge, engenheiro da Anthropic, disse ter reproduzido cinco dos mesmos resultados em menos de 24 horas com o Claude Fable, de forma autônoma e sem acesso à internet.
- Gary Marcus afirmou que o anúncio foi "marketing, não ciência" e observou que a OpenAI não informou quantas conjecturas foram tentadas.
- Sam Altman demonstrou o Astra em reuniões fechadas com senadores e autoridades em Washington, em 29 de julho de 2026.
- O Astra segue sem lançamento, sem data, sem preço e sem definição sobre sair como GPT-6 ou outra variante do GPT-5.
O Astra é a família de modelos que a OpenAI chama de seu próximo grande lançamento e é descrito pela empresa como um sistema multiagente: um agente raiz cria subagentes, distribui partes de um problema e sintetiza a resposta final. O desenho foi feito para tarefas de horizonte longo, que podem rodar por horas ou dias sobre um único objetivo.
A reação técnica foi mista. Thomas Bloom, o matemático que em outubro de 2025 chamou uma alegação anterior da OpenAI sobre problemas de Erdős de "uma deturpação dramática", classificou este resultado como "grande notícia". Do outro lado, Gary Marcus notou que o custo computacional divulgado, de US$2.000, provavelmente conta apenas as conjecturas em que o Astra teve sucesso, não as que falharam. Entre os problemas que Alpoge diz ter resolvido com o Fable estão complexidade de circuitos aritméticos, repetição paralela quântica e o problema do vetor mais próximo.
Qualquer lançamento do Astra passará pelo processo federal de revisão de segurança de IA dos EUA, que já escalonou a liberação do GPT-5.6.
Comentários
Carregando comentários...
