Lean

OpenAI résout un problème mathématique vieux de 80 ans : j’ai décortiqué la preuve

72 heures, 14 articles spécialisés lus, 3 mathématiciens interrogés en off, et une lecture ligne à ligne de la preuve publiée. Verdict : avancée réelle, pa

Mohamed Meguedmi · 2 Juin 2026 · 9 min