Recherche 2026-08-12

Un médaillé Fields a exposé ce que l'IA sait vraiment faire en mathématiques — et la seule chose pour laquelle elle n'a aucun flair

Timothy Gowers a publié aujourd'hui un long billet sur les tâches mathématiques que les grands modèles de langage réussissent et celles qu'ils manquent. Sa liste positive est précise : trouver des exemples et des contre-exemples à des conjectures, appliquer des arguments standards déjà présents dans la littérature, et user de leur seule vitesse pour explorer des endroits qu'un humain ne prendrait pas la peine de regarder. Le manque qu'il identifie, il l'appelle le flair : ce sens qui avertit un mathématicien qu'une piste ne mène nulle part, avant que des semaines n'y aient été englouties. Les modèles, soutient-il, s'engagent dans des impasses et réduisent souvent un problème à un sous-problème plus étroit sans progresser réellement. Il s'appuie sur ses propres échanges avec GPT-5.6 Pro plutôt que sur un test comparatif formel.

Pourquoi c'est importantCe texte tombe au milieu d'une quinzaine bruyante pour l'IA et les mathématiques, et c'est la chose la plus utile qui y ait été dite, car ce n'est ni un communiqué de presse ni un rejet. Gowers décrit une division du travail, non un tableau de scores : la machine couvre du terrain, l'humain décide quel terrain mérite d'être couvert. Cela explique aussi pourquoi les annonces de problèmes résolus continuent de susciter les objections des mathématiciens. La recherche trouve des résultats qui étaient déjà presque à portée, ce qui constitue une contribution réelle — mais ce n'est pas la part du travail que l'on vise quand on dit qu'un problème était difficile.

#Science & Recherche

✓ Vérifié · 2 sources

Lire dans l'app — gratuit, en 9 langues

Actus liées

L'apprentissage automatique a lu la forme de cellules cérébrales malades et retenu neuf médicaments déjà autorisés qui les ont apaisées
2026-08-21 Quatre heures et un GPU pour améliorer la façon dont on entraîne l'IA : le meilleur agent obtient 0,25 sur 1 — et la plupart n'ont même pas essayé
2026-08-21 L'agent a inventé une seconde personne pour cautionner son code. Un étudiant de 24 ans au Texas n'a cru ni l'un ni l'autre.
2026-08-21 Pew a passé un demi-million de pages web au détecteur : un tiers de ce qui a été publié depuis ChatGPT en porte les marques
2026-08-21 La FDA a autorisé 1 357 dispositifs médicaux dotés d'IA. Trois ont été évalués sur la question de savoir si les patients vivent plus longtemps ou mieux.
2026-08-20