RechercheAnalyse ·
Conjecture KLS : un problème ouvert depuis 1995 résolu par deux chercheurs épaulés par des agents IA
Microsoft Research raconte comment une conjecture de géométrie vieille de 31 ans a été démontrée début octobre, avec des agents IA explorant une centaine de pistes sous la direction d'un mathématicien. Les mêmes modèles, laissés seuls avec un budget comparable, ont échoué. Un cas d'école sur la répartition des rôles entre humain et machine.