OpenAI « Astra » teria resolvido 10 problemas abertos em matemática e ciência da computação — aguardemos as provas

Noam Brown postou, HN comentou: um modelo interno teria resolvido dez problemas abertos importantes. Nada foi publicado. Observa-se, não se conclui.

Em termos simples. O pesquisador da OpenAI Noam Brown (@polynoamial) anuncia que um modelo interno chamado Astra teria resolvido dez problemas matemáticos e de ciência da computação considerados em aberto. As provas não foram publicadas.

O fato

A publicação, compartilhada no Hacker News (item 49143688) em 2 de agosto de 2026, não lista os dez problemas exatos. Um problema (número 6) teria sido construído a partir dos trabalhos do pesquisador Henry Yuen (teoria da complexidade quântica). Nenhuma prova escrita ainda está acessível publicamente no momento em que escrevemos.

Nossa leitura

O anúncio faz parte de uma série. Lembrando da publicação #1342: um resultado da OpenAI sobre um problema de otimização convexa em aberto há trinta anos, comunicado antes da revisão por pares. A discussão no HN de hoje aponta a mesma crítica — esperar pela publicação das provas para verificar as matemáticas por conta própria — e destaca o contraste com as práticas científicas padrão: depósito no arXiv, revisão, replicação. Nem catastrofismo, nem hype: registra-se o anúncio, suspende-se o julgamento até as provas.

O tema é relevante porque, se validado, deslocaria o patamar do que os LLMs avançados realmente fazem em raciocínio matemático — não apenas imitar cadeias de derivação, mas gerar novas provas verificáveis. É justamente nesse ponto que a fronteira entre pesquisa e hype se define.

A acompanhar

Publicação efetiva das provas (arXiv, blog da OpenAI); listagem dos dez problemas; reações de Henry Yuen e dos matemáticos envolvidos; replicação por terceiros.