OpenAI publica provas matemáticas feitas por IA e divide cientistas sobre o método

Em matemática, o sistema atacou a conjectura do amortecimento local, proposta por Sogge em 1991 para descrever o comportamento de ondas que se concentram no espaço. Guth, Wang e Zhang provaram essa conjectura em duas dimensões espaciais em 2019, enquanto Wang e Zahl solucionaram a conjectura de Kakeya em três dimensões em 2025. Agora, a OpenAI afirma que seu modelo resolveu o problema do amortecimento em todas as dimensões ao introduzir uma equação diferencial parcial auxiliar inédita. A demonstração também liquida a conjectura de Kakeya e a conjectura de restrição de Stein em todas as dimensões. A saída do modelo surgiu em 18 de outubro de 2026 e ganhou formalização na linguagem Lean no dia seguinte.

Três caminhos para liberar os dados

A OpenAI adotou três estratégias diferentes de divulgação para testar como as comunidades acadêmicas digerem os manuscritos gerados por máquina. No caso da matemática, a empresa liberou a saída do modelo direto na internet para que os pesquisadores se organizem por conta própria. Para o estudo em ciência da computação, a equipe subiu o texto em linguagem natural e o código formalizado em Lean no seu repositório no GitHub. Esse grupo trabalha com colaboradores externos enquanto mantém os arquivos abertos para consulta pública.

No trabalho sobre cromodinâmica quântica em física, a OpenAI delegou o controle aos especialistas convidados e reteve os arquivos da inteligência artificial. O grupo externo preferiu adiar a publicação do material original gerado pela máquina para redigir o próprio artigo técnico. Essa divisão mostra a cautela dos pesquisadores com respostas automáticas sem revisão por pares. O processo científico exige tempo.

Colaboradores não recebem pagamento

A empresa estabeleceu quatro regras para as colaborações externas: transparência, recusa de crédito acadêmico para si, reconhecimento autoral aos colaboradores e independência total dos cientistas. Os participantes trabalham de forma voluntária, sem remuneração e sem assinar acordos de confidencialidade. Eles têm liberdade para expor conclusões, assinar artigos derivados e citar as técnicas prévias que alimentaram o sistema. A OpenAI garantiu que não fala em nome do grupo e que o comitê não fala em nome da empresa.

A própria OpenAI admitiu limites na abordagem ao reconhecer que a escolha de orientadores iniciais cria assimetria de acesso à informação. A empresa trata os textos dos modelos como dados brutos de pesquisa, e não como descobertas científicas prontas. O comunicado registra o resultado de um software, mas depende de validação independente para confirmar se os passos lógicos se sustentam sem falhas ocultas. Cientistas precisam verificar cada etapa da demonstração.