OpenAI publica 700+ manuscritos de IA sobre problemas em aberto, e matemáticos ficam em choque

A OpenAI publicou mais de 700 manuscritos escritos por IA que declaram soluções para problemas matemáticos em aberto. Um blog de matemática reuniu mais de 100 respostas de pesquisadores. Entre elas há admiração por ideias novas, medo existencial e luto por uma forma de trabalhar que ficou para trás. Hugo Duminil-Copin, vencedor da Medalha Fields, respondeu de forma curta: “Estou paralisado”.

O que exatamente aconteceu

A escala importa mais aqui do que qualquer resultado isolado. Até agora, os avanços da IA em matemática eram divulgados um a um: um problema, uma prova, uma ressalva sobre como humanos ajudaram. Agora, centenas de textos chegaram de uma vez. Cada um pretende encerrar uma questão na qual a comunidade trabalhou sem sucesso.

Segundo o material de origem, os manuscritos apenas declaram soluções. Isso não é o mesmo que resultados confirmados. A divulgação não informa quantos trabalhos já passaram por especialistas independentes nem quantos resistiram à verificação. Ainda não está claro que parcela dos 700 textos está correta, qual contém lacunas e qual acabará sendo só uma reformulação de algo já conhecido. Disso depende o desfecho: um avanço científico ou uma avalanche de textos que ninguém tem como ler.

Por que a reação foi tão intensa

As reações no blog cobrem todo o espectro. Alguns pesquisadores falam de fascínio: a IA propõe ideias em que eles não teriam pensado. Outros falam de medo pela profissão. Outros ainda descrevem luto, e a palavra é reveladora. Para um matemático, a prova vale não só como resultado, mas também como caminho de compreensão. O título do material, “Quanta beleza perdemos?”, atinge exatamente esse ponto. Se um teorema pode sair de uma linha de montagem, o que fica em questão não é a veracidade, e sim o sentido do trabalho manual que antes dava identidade à profissão.

A paralisia de que fala Duminil-Copin parece uma avaliação sóbria, não uma fraqueza. Um trabalho que levava anos pode ser feito em horas, e ainda não está claro que contribuição restará ao humano.

Principais números e fatos:

• mais de 700 manuscritos gerados por IA foram publicados pela OpenAI;
• os textos declaram soluções para problemas matemáticos em aberto;
• o blog de matemática reuniu mais de 100 respostas;
• as reações vão do interesse pelas ideias ao medo e ao luto;
• entre os que responderam está Hugo Duminil-Copin, vencedor da Medalha Fields;
• a divulgação original não menciona verificação independente de todos os manuscritos.

O que fazer na prática

O gargalo se desloca da geração de ideias para a verificação delas. Esta é uma análise minha, não uma declaração dos autores, mas a lógica é direta. Matemáticos e departamentos devem decidir com antecedência quem vai ler esses textos e com quais critérios. É preciso montar uma fila de verificação por especialistas; caso contrário, o fluxo de manuscritos se perde no próprio volume.

As revistas científicas terão de definir uma política: aceitar ou não trabalhos escritos por IA, como declarar a contribuição do modelo, como distinguir uma prova correta de uma que apenas parece convincente. A verificação formal em sistemas como o Lean parece uma ferramenta lógica para parte dos resultados, embora não seja possível cobrir rapidamente os 700 textos com ela.

Quem acompanha o tema pelo lado da indústria deve ter em mente a diferença entre “publicado” e “confirmado”. Enquanto a verificação não terminar, a manchete sobre 700 problemas resolvidos continua sendo uma alegação. Será pela parcela que resistir que vai ficar claro se estamos diante de uma nova ferramenta da ciência ou de mais uma rodada de promessas altissonantes.