A IA provou a quase-hipótesis de Riemann. O que acontece agora?
A Quanta relata que um modelo da OpenAI produziu uma prova da quase-hipótese de Riemann, uma versão mais fraca da hipótese de Riemann, com uma versão verificada formalmente em Lean. Teóricos dos números que estudaram a prova concordam em geral que ela está correta e a consideram a maior conquista da IA em matemática até agora. Não resolve a hipótese de Riemann completa, mas mostra que a IA pode sintetizar ideias existentes para atacar problemas que especialistas julgavam fora de alcance.
FONTES
- Hacker News (AI)2026-10-19 17:09