OpenAI publica 722 artigos de matemática escritos por IA

Em 6 de outubro, a OpenAI publicou 722 artigos de matemática preparados por IA. Entre eles há trabalhos com provas relacionadas à quase-hipótese de Riemann. Para comparação: uma subárea inteira da matemática produz centenas de publicações por ano, com o trabalho de milhares de pessoas, e aqui um volume desses surgiu em um único pacote. No mesmo dia, a mídia chinesa, incluindo a Jiqizhixin, passou a falar de RSI, o autoaperfeiçoamento recursivo: segundo esses veículos, uma equipe de origem chinesa já teria percorrido um ciclo fechado escalável. O trecho disponível não traz detalhes sobre a equipe, por isso separamos abaixo o que está confirmado do que continua sendo apenas uma declaração.

O que se sabe sobre o lançamento

Os fatos são modestos, mas pesam. Data: 6 de outubro. Volume: 722 artigos. Tema: matemática, incluindo provas relacionadas à quase-hipótese de Riemann. Isso não é a solução da hipótese de Riemann em si, e a fonte não afirma nada nesse sentido. Os dois resultados não podem ser comparados: trata-se de uma formulação aparentada e mais fraca.

Quem falou mais alto foi Christian Szegedy, ex-cientista do Google e cofundador da xAI. Segundo ele, os picos que os matemáticos passam a vida escalando a máquina pode alcançar «chegando de avião». Logo em seguida, ele acrescentou uma ressalva: a matemática não está chegando ao fim, o que muda é a própria forma de pesquisar. Szegedy trabalha há muito tempo com autoformalização, isto é, a tradução da matemática para uma forma verificável por máquina, de modo que sua avaliação vem de um praticante, não de um observador externo.

Onde entra o RSI

A sigla RSI designa um ciclo em que o modelo melhora os próprios resultados ou o próprio treinamento, e a iteração seguinte parte de um patamar mais alto. A matemática é um campo de testes quase ideal para esse tipo de ciclo: a prova tem um critério formal de correção, e a resposta pode ser verificada sem intervenção humana. Se a verificação é automática, o ciclo de geração e seleção se fecha e escala com poder de computação.

É exatamente isso que, a julgar pelo título, a equipe chinesa citada chama de etapa «superada». Quais modelos, quantas GPUs, qual porcentagem de provas falsas a verificação descarta: o texto não revela. Sem esses números, a declaração é uma referência, não um resultado medido.

O que sabemos e o que não sabemos:

• Data de publicação: 6 de outubro de 2026.
• Volume do lançamento: 722 trabalhos.
• Tema: matemática, incluindo provas em torno da quase-hipótese de Riemann.
• Revisão independente de todos os 722 artigos: não há dados.
• Proporção de trabalhos verificados formalmente (em Lean ou similares): não informada.
• Métricas da equipe chinesa (modelos, computação, número de iterações do ciclo): não divulgadas.

O que fazer com essa notícia

Primeiro: não confundir volume com qualidade. Os 722 artigos, por si sós, não provam nada até que revisores e verificadores formais analisem uma amostra. Um indicador razoável aqui é a proporção de trabalhos cujas provas passaram por verificação automática, e não o número de títulos na lista.

Segundo: acompanhar quem faz a verificação. Se resultados fortes vierem com verificação formal, é sinal de que o ciclo «geração, verificação, seleção» funciona na prática. Se não vierem, o que temos são antes hipóteses apresentadas como artigos.

Terceiro: para pesquisadores e desenvolvedores de agentes, a conclusão é prática. Áreas com verificação automática barata (matemática formal, parte da programação, código verificável) serão as primeiras em que esquemas semelhantes ao RSI trarão ganho real. Onde o critério de correção é difuso, como em biologia, economia e direito, esse ciclo esbarra no humano.

Por fim. As palavras de Szegedy sobre a mudança no «modo de pesquisar» merecem ser lidas ao pé da letra: o matemático do futuro cada vez mais formula problemas e avalia resultados, em vez de deduzir cada passo à mão. O que vem a seguir depende de quão abertamente a OpenAI e as equipes chinesas vão mostrar os dados em que se apoiam suas declarações.