La IA demostró la cuasi-hipótesis de Riemann. ¿Qué sigue ahora?

Quanta informa que un modelo de OpenAI produjo una demostración de la cuasi-hipótesis de Riemann, una versión más débil de la hipótesis de Riemann, y una versión fue verificada formalmente en Lean. Los teóricos de números que han estudiado la demostración coinciden en general en que es correcta y la consideran el logro más importante de la IA en matemáticas hasta ahora. No resuelve la hipótesis de Riemann completa, pero muestra que la IA puede sintetizar ideas existentes para resolver problemas que los expertos creían inalcanzables.

• Hacker News (AI)2026-10-19 17:09