The last IMO problem AI could not solve

The last IMO problem AI could not solve

Le dernier problème de l'IMO que l'IA n'a pas pu résoudre

par 3Blue1Brown · Voir la chaîne sur PSI

Sciences formelles & physiques Sciences — Généralités & Histoire PDSciences : généralitésPDZScience populaire
🎙 3Blue1Brown 👥 8.6M 📅 18 septembre 2026 ⏱ 51 min 👁 1K 📄 vulgarisation 🧭 2026-09-18
Disponible en : Français (actuel) English

Mots-clés

IMO 2025problème 6pavagepreuve mathématiqueIA

Résumé

Dans cette vidéo de 52 minutes, 3Blue1Brown se penche sur le problème 6 de l’Olympiade internationale de mathématiques de 2025, considéré comme le dernier problème que les IA n’ont pas réussi à résoudre cette année-là. Après un rappel du contexte (les progrès rapides de l’IA en mathématiques depuis 2021, avec AlphaProof puis les modèles de 2025), le créateur dévoile l’énoncé : paver une grille 2025×2025 avec des tuiles rectangulaires alignées sur la grille, chaque ligne et chaque colonne devant contenir exactement une case non recouverte (les ‘X’), en minimisant le nombre de tuiles. Il montre comment l’intuition, guidée par une expérience préalable (découper un cube en 27 cubes), amène à une conjecture sur la forme optimale du pavage, basée sur l’idée que les tuiles efficaces sont celles qui touchent quatre ‘X’, placés à leurs sommets. En exploitant le fait que 2025 = 45², il propose une construction et conjecture que le nombre minimal de tuiles est k²+2k−3, avec k=45. La suite de la vidéo est consacrée à la preuve rigoureuse de cette optimalité, en passant par une borne inférieure initiale (k²−1), puis un raisonnement plus fin impliquant les arêtes et les coins des tuiles, et aboutissant à la démonstration attendue. La vidéo se conclut par des réflexions sur l’IA et les mathématiques, mentionnant notamment le théorème de Erdős–Szekeres et une conjecture finale.

222 mots

Évaluation critique

Valeur des informations & solidité de l’argumentation

La vidéo offre une valeur pédagogique exceptionnelle en montrant le processus de résolution d’un problème mathématique difficile, non comme une révélation soudaine mais comme le fruit d’une intuition construite par l’expérience. L’argumentation est solide : la construction optimale est d’abord devinée à partir d’un analogue plus simple (la découpe du cube), puis testée sur des petits cas, et enfin prouvée par une démonstration soignée. L’auteur explique les tentatives infructueuses et les raisons pour lesquelles certaines approches échouent, ce qui renforce la crédibilité du raisonnement. La rigueur est maintenue tout au long, avec des justifications claires pour chaque étape de la preuve. La valeur ajoutée réside aussi dans la mise en perspective sur le rôle de l’intuition et de la créativité en mathématiques, en opposition aux limites actuelles de l’IA.

Rigueur scientifique, qualité des sources, adéquation du titre

La rigueur scientifique est élevée : le matériel mathématique présenté est conforme aux solutions officielles (les notes d’Evan Chen, liées dans la description, confirment la démarche). Les sources citées sont pertinentes et autorisées, notamment le document de solution d’Evan Chen et la vidéo de la chaîne Dedekind Cuts qui traite du même problème. Le titre reflète fidèlement le contenu, qui est exclusivement dédié à ce problème et à sa dimension liée à l’IA. La chaîne 3Blue1Brown est reconnue pour la qualité de ses vulgarisations, ce qui garantit une certaine fiabilité. Aucun commentaire n’étant fourni, l’analyse des tendances du public n’est pas effectuée.

246 mots

Adéquation titre / contenu

Le titre est exact : la vidéo est centrée sur le dernier problème de l'IMO 2025 non résolu par les IA, et en explore la solution, la preuve et les implications.

Qualité & fiabilité

9/10

Vulgarisation mathématique de haut niveau par un créateur reconnu, avec une démonstration complète et rigoureuse, des sources fiables et une pédagogie soignée. Quelques approximations volontaires pour rendre le sujet accessible, mais aucun contenu erroné.

Chapitres

Sources citées

Sources concordantes

Références externes

Apport & nouveautés

L’apport original de la vidéo est de mettre en lumière la démarche heuristique derrière la solution d’un problème d’olympiade, plutôt que de se contenter d’une démonstration formelle. Elle illustre comment une analogie apparemment sans rapport (la découpe d’un cube) fournit une clé de raisonnement pour le problème de pavage, et comment l’attention portée aux arêtes des cases marquées X permet de construire une borne inférieure. Le contenu s’inscrit dans une réflexion plus large sur les compétences humaines de créativité et de patience que les IA actuelles peinent à reproduire en mathématiques.

Pour aller plus loin :

  • Théorème de Erdős–Szekeres (Wikipédia) — Théorème lié aux configurations de nombres, mentionné dans la dernière partie de la vidéo.
  • Olympiade internationale de mathématiques (Wikipédia) — Contexte général du concours et de ses épreuves.
  • Lean (assistant de preuve) (Wikipédia) — Langage utilisé par AlphaProof et discuté dans la vidéo pour formaliser les preuves.

148 mots

Profil radar

Le profil radar est dominé par la qualité de l'information et la fiabilité, avec des scores élevés (10 et 9). La quantité d'informations est également bien fournie (9), tandis que le niveau technique (8) reste un peu inférieur en raison de la vulgarisation. Le profil global est très bon, indiquant une source riche, fiable et techniquement accessible.

Fiabilité 9/10