L’IA devient douée en maths. Voici pourquoi.

L’essai rapporte qu’un modèle interne d’OpenAI a réfuté la conjecture de la distance unitaire d’Erdős (ouverte depuis 1946), prouvé la conjecture du Cycle Double Cover et résolu dix autres problèmes ouverts — et analyse pourquoi : les modèles cherchent en profondeur avec des vérificateurs automatisés, échangeant le temps contre du calcul, si bien que des indices ordinaires deviennent exploitables et que les tentatives ratées deviennent des indices négatifs. Citant le mathématicien d’OpenAI Jacob Tsimerman, l’IA peut jouer plus longtemps et dans des eaux plus traîtres que les mathématiciens sans être submergée. C’est un cadre utile pour prédire quels problèmes l’IA résoudra ensuite.

• Latent Space2026-10-23 15:19