O que aconteceu
Em 6 de outubro de 2026, a OpenAI publicou no repositório GitHub openai/math resultados matemáticos de um modelo interno não lançado: 372 famílias de resultados e 722 manuscritos (719 após as retiradas). Segundo a empresa, o modelo recebeu cerca de 4.000 problemas abertos e cada resultado mantido custou cerca de três horas de pensamento do ChatGPT Pro, em média. Cerca de 42% dos resultados principais foram verificados em máquina na linguagem de provas Lean; o resto saiu sem confirmação humana ou automática.
No dia seguinte, 7 de outubro, um único erro de sinal invalidou três manuscritos (classes de Weil algébricas, correspondências de Kuga-Satake para superfícies K3 e a conjectura de Hodge racional para produtos de superfícies K3), que foram retirados, e outros 14 foram revisados. O grupo consultivo do Institute for Advanced Study tinha recomendado liberar o modelo, o prompt e o compute por problema — nada disso saiu. A Association for Human Mathematics pediu que matemáticos parem de colaborar com a OpenAI.
Por que importa
A velocidade de produzir resultados ultrapassou a velocidade de lê-los e verificá-los. Como Scott Aaronson observou em comentários citados na cobertura, quase nenhuma das provas tinha sido compreendida por um humano. Em termos de engenharia, é como mesclar 700 PRs sem revisão.
O que fazer agora
- Em qualquer fluxo com saída de IA, defina um gate de verificação (humano, Lean/testes, ou ambos) antes de tratar o resultado como fato.
- Prefira anunciar primeiro o que já está verificado em máquina.
- Trate retratações rápidas como sinal saudável — e a pressão comunitária como aviso de reputação.