A OpenAI divulgou dez avanços em matemática e ciência da computação teórica, todos alcançados por uma versão interna do modelo Astra. Os resultados, publicados em 1º de agosto de 2026, abordam problemas que estavam em aberto há décadas e sem progresso significativo. Cada solução foi formalizada em Lean e acompanhada por uma narração do processo de raciocínio do modelo.
Dez problemas resolvidos
Entre os problemas tratados estão limites superiores em empacotamento de esferas de alta dimensão, avanços exponenciais em códigos binários e esféricos, a construção de grupos não-sofic, a refutação da conjectura de rigidez de Connes, novos limites inferiores para circuitos aritméticos, um teorema de repetição paralela para jogos quânticos, e resultados sobre o problema do vetor mais próximo em reticulados — relevante para criptografia pós-quântica. A lista inclui ainda a resolução de conjecturas de volume de Ehrhart, novos limites para números de Ramsey multicoloridos e avanços em conjecturas extremas de grafos, todas associadas a problemas clássicos de Erdős.
Os resultados são considerados de interesse substancial para as comunidades matemáticas envolvidas, com potencial impacto em áreas como criptografia, teoria de códigos e complexidade computacional. A OpenAI destaca que, para encontrar as soluções, o Astra consumiu o equivalente a US$ 2.000 em tokens nas taxas da Sol API. Após a geração das soluções, os argumentos foram revisados e preparados por humanos utilizando o mesmo modelo, e posteriormente formalizados em Lean.
Processo e transparência
Cada resultado é acompanhado por uma “narrativa de raciocínio” — uma explicação detalhada do caminho lógico seguido pelo modelo. A OpenAI enfatiza que a atribuição deve refletir de forma honesta o papel do sistema de IA, evitando reivindicar autoria humana para provas geradas inteiramente por IA. O processo envolveu preparação e revisão humana dos manuscritos, mas os argumentos matemáticos são atribuídos ao modelo.
A iniciativa faz parte do esforço da OpenAI para ampliar o acesso a ferramentas avançadas de IA para a comunidade acadêmica, incluindo o programa anunciado recentemente que oferece acesso gratuito ao ChatGPT para 100.000 cientistas e matemáticos.
Implicações para a comunidade
A divulgação desses resultados levanta questões sobre o papel da IA na pesquisa matemática. A OpenAI reconhece preocupações da comunidade, citando a declaração de Leiden sobre IA e matemática, e convida matemáticos a avaliar, contextualizar e expandir os achados apresentados. O objetivo declarado é fomentar novas linhas de investigação e acelerar o ritmo das descobertas científicas.
Perspectivas
O uso do Astra para resolver problemas matemáticos abertos sinaliza uma transição importante: sistemas de IA começam a atuar como colaboradores efetivos em pesquisa de fronteira. Ainda que a validação dos resultados dependa do escrutínio da comunidade, o experimento indica que modelos avançados podem contribuir para áreas que, até recentemente, eram consideradas domínios exclusivos da criatividade humana.