Recherche AI Minute Newsroom 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

Les États-Unis placent l'IA au cœur de la science avec 16 pays.
2026-10-05 Cinq problèmes ouverts sont tombés dans un chat ordinaire.
2026-10-05 Les modèles bruts ont réussi des tâches que leur version polie rate.
2026-10-04 Un modèle nourri de photos banales atteint 70% en raisonnement.
2026-10-04 Google a mis ses puces d'IA en orbite pour voir si elles tiennent.
2026-10-03