Preuve de la conjecture KLS
Événement tendanceMise à jour continue
Preuve de la conjecture KLS
1 articles1 sources2 hmise à jour
Pour commencer
AI Synthèse
Selon un reportage du 22 octobre 2026, deux chercheurs, dont Xinzhi Zhang du groupe Machine Learning and Optimization de Microsoft Research, ont prouvé la conjecture KLS (Kannan-Lovász-Simonovits), vieille de 31 ans. Les auteurs ont également raccourci leur preuve et vérifié l'argument simplifié dans Lean ; ils prévoient de publier les deux après une révision finale. Aucun autre rapport de suivi n'est disponible à ce jour.
AI Généré à partir des reportages · 2 hmise à jour
Dernière évolution22 octobre 00:00
Microsoft Research résout la conjecture KLS vieille de 31 ansChronologie des reportages
Suivez les reportages pour découvrir les différentes facettes de l'événement.
22 octobre
- Microsoft ResearchsélectionMicrosoft Research résout la conjecture KLS vieille de 31 ans
Des chercheurs dont Xinzhi Zhang de Microsoft Research ont prouvé la conjecture KLS.
Évolution des tendances de cet événement
Pas encore assez de données d'observation continues pour tracer une tendance.