Une preuve publiée le 4 octobre établit une borne indépendante de la dimension pour un problème central de géométrie convexe et de probabilités, ouvert depuis 1995. Plusieurs équipes ont produit des démonstrations convergentes et une formalisation en Lean renforce la confiance dans le résultat. L’IA a exploré une centaine de pistes et effectué des calculs, mais les chercheurs ont choisi les directions et construit l’argument final ; les essais entièrement autonomes ont échoué.

Article scientifique sur arXiv

 Explication de Microsoft Research⁠