OpenAI publica no GitHub 372 resultados matemáticos gerados por IA, da conjectura de Kakeya em 4D à hipótese de Riemann
A OpenAI publicou 722 manuscritos agrupados em 372 famílias de resultados produzidos por um modelo interno não lançado. Muitas provas foram verificadas em Lean, mas matemáticos criticam a falta de prompts e de um modelo acessível.
Em 6 de outubro de 2026 a OpenAI publicou um grande lote de resultados matemáticos num repositório do GitHub (às 18h EDT, 15h PT). Segundo o The Verge, ele contém 722 manuscritos agrupados em 372 famílias de resultados, todos produzidos por um modelo de fronteira ainda não lançado.
O que se afirma
- Cada resultado, diz a OpenAI, resolve ou faz avançar substancialmente uma questão aberta da matemática ou da ciência da computação teórica.
- Entre os destaques relatados pela Scientific American estão uma suposta solução da conjectura de Kakeya em quatro dimensões, melhorias em algoritmos importantes e avanços rumo à hipótese de Riemann.
- Muitas provas já foram verificadas em Lean, uma linguagem de verificação de demonstrações, e por isso quase certamente estão corretas; as demais levarão meses para ser avaliadas.
- Um porta-voz da OpenAI disse à Scientific American que quase todos os resultados vieram de um único prompt dado a um único agente de IA (ressalvando que alguns podem ter exigido várias tentativas). O resultado anterior sobre Navier-Stokes, ao contrário, foi produzido por um enxame de 10.000 agentes que custou milhões em computação. O The Verge cita a afirmação da OpenAI de que o “resultado médio” usou o equivalente a cerca de três horas de raciocínio do ChatGPT Pro.
Críticas
Um grupo consultivo independente de matemáticos convocado pela OpenAI em setembro recomenda divulgar o modelo, o prompt exato e o tempo de computação de cada resultado. A OpenAI revela apenas a computação média e algumas estatísticas — sem prompts — e diz não estar obrigada pelas recomendações. “Devemos pedir os recibos”, disse à Scientific American o matemático do MIT Andrew Sutherland. Daniel Litt (Universidade de Toronto) elogiou a divulgação, enquanto Terence Tao criticou o ritmo “insano” dos resultados dos laboratórios de IA.
Ressalva: as alegações são da OpenAI; a verificação independente dos resultados não formalizados em Lean está apenas começando.
Também disponível em: EnglishСаха тылаРусскийEspañol中文العربية