OpenAI anuncia três descobertas em matemática, computação e física e envolve comunidades acadêmicas

A OpenAI diz que trata os manuscritos produzidos por seus modelos como dados brutos de pesquisa. Para virar compreensão científica, o laboratório pediu a especialistas externos que atuassem como "pastores" (shepherds) de cada resultado. Cada área recebeu uma estratégia diferente. Em matemática (análise harmônica), o output da IA é liberado e os pesquisadores se organizam por conta própria. Em ciência da computação, um grupo externo explica o resultado e o material fica público no repositório da OpenAI no GitHub, com a prova em linguagem natural e a formalização em Lean. Em física, o grupo decidiu segurar os artefatos da IA e escrever o trabalho por conta própria. A empresa admite que não sabe qual abordagem será mais útil.

Os resultados: uma prova da conjectura de local smoothing em todas as dimensões, o que implicaria as conjecturas de Kakeya e de restrição de Stein; uma refutação da Hipótese do Tempo Exponencial (ETH), ligada à satisfatibilidade booleana e ao problema P vs. NP; e uma prova de existência de teorias quânticas de campo, incluindo QCD e Yang-Mills puro, apoiada na abordagem de Balaban. A empresa afirma que a refutação da ETH foi verificada em Lean, mas que transformar isso em algoritmos práticos exigirá muita pesquisa adicional. As colaborações seguem quatro princípios: transparência (sem NDA), nenhum crédito acadêmico para a OpenAI, reconhecimento ao grupo e independência (participação voluntária e não remunerada). A própria fonte reconhece um limite: escolher os primeiros "pastores" molda quem se envolve primeiro e cria assimetria de informação.

Em 7 de outubro de 2026, o CEVIU noticiou "OpenAI Revela Avanços de IA em Matemática com Repositório Aberto", com resultados publicados em GitHub e protocolos de revisão. Em 3 de agosto de 2026, o CEVIU já havia publicado "Modelo de IA da OpenAI Desvenda Dez Problemas Matemáticos e de Computação Inéditos". Agora o formato muda: além de liberar o output, a OpenAI monta grupos externos de colaboradores, e um deles decidiu não publicar os artefatos da IA. A fonte diz que a estratégia matemática segue a de 6 de outubro de 2026, enquanto as outras duas são novas.

Para quem acompanha pesquisa com IA, a questão central passa a ser verificação e crédito, não só geração. A prova em Lean dá um critério checável, mas a explicação humana ainda é o gargalo. Para quem trabalha com algoritmos, a refutação da ETH, se for confirmada pela comunidade, mexe em resultados de dureza condicional que dependem dela. É leitura editorial: a validação independente ainda está por vir.