L'IA a démontré la quasi-hypothèse de Riemann. Et maintenant ?

Quanta rapporte qu'un modèle d'OpenAI a produit une preuve de la quasi-hypothèse de Riemann, une version affaiblie de l'hypothèse de Riemann, dont une version a été formellement vérifiée dans Lean. Les théoriciens des nombres qui ont étudié la preuve s'accordent largement sur sa validité et la qualifient de plus importante réussite de l'IA en mathématiques à ce jour. Elle ne règle pas l'hypothèse de Riemann complète, mais montre que l'IA peut synthétiser des idées existantes pour s'attaquer à des problèmes que les experts croyaient hors de portée.

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