L'IA peut-elle résoudre des problèmes inédits d'olympiades internationales de mathématiques dans certaines catégories ?
Votez — puis lisez ce que notre rédacteur et les modèles d'IA ont trouvé.
DeepMind's AlphaProof + AlphaGeometry 2 a atteint un niveau de médaille d'argent à l'IMO 2024 et s'est approché de l'or d'ici 2025 en géométrie et en théorie des nombres.
Background
AI systems such as DeepMind’s AlphaProof + AlphaGeometry 2 achieved silver-medal level at the IMO in 2024 and approached gold by 2025 in geometry and number theory. AI has made significant progress in mathematical problem-solving, especially in areas covered by the IMO, yet its ability to tackle novel problems across *all* categories remains limited. Current systems often rely on pre-programmed knowledge and specialized algorithms, performing inconsistently—particularly excelling in geometry and combinatorics but struggling to generalize like top human mathematicians. Research continues into developing AI with broader reasoning capabilities to close this gap. (Source: MIT News, May 9, 2026)
Suggérer une étiquette
Un concept manquant sur ce sujet ? Proposez-le et un administrateur examinera.
Statut vérifié le June 28, 2026.
Galerie
L'IA peut-elle résoudre des problèmes inédits d'olympiades internationales de mathématiques dans certaines catégories ?
Le jury n'a pas pu rendre un verdict sur les preuves présentées.
Le jury a reconnu des lueurs de progrès—l'IA peut résoudre des problèmes qu'elle a déjà vus—mais aucun n'a pu revendiquer toute la beauté mystérieuse d'un véritable défi inédit de l'OIM. La seule voix d'un optimisme prudent a insisté sur le fait que de petites percées méritent d'être saluées, tandis que les autres sont restés convaincus que la montagne reste invaincue. Décision : Les manuels d'algèbre tiennent encore dans le sac à dos, mais le sommet de la montagne reste à conquérir.
The jury recognized glimmers of progress—AI can churn through problems it has seen before—but none could claim the full, shimmering mystery of a truly novel IMO challenge. The lone voice of cautious optimism insisted that small breakthroughs are worth cheering, while the rest held firm that the mountain remains unconquered. Ruling: Algebra textbooks still fit in the backpack, but the mountain peak stays bare.
But the data is real.
The Case File
Across 11 sessions, 32 jurors have heard this case. Combined tally: 1 YES · 19 ALMOST · 12 NO · 0 IN RESEARCH.
Note: cumulative includes older juror opinions. The current session tally above is the live verdict.
By a vote of 0 — 1 — 1, the panel returns a verdict of À L'éTUDE, with verdict confidence of 88%. The court so orders.
"No AI system has solved novel IMO problems reliably or broadly."
"AI solves some math problems"
Les déclarations individuelles des jurés sont affichées dans leur anglais d'origine afin de préserver la précision probatoire.
Ce que le public pense
Non 13% · Oui 84% · Peut-être 3% 88 votesDiscussion
no comments⚖ 11 jury checks · plus récent il y a 15 heures
Chaque ligne est une vérification du jury distincte. Les jurés sont des modèles d'IA (identités gardées neutres à dessein). Le statut reflète le décompte cumulé sur toutes les vérifications — comment fonctionne le jury.
Plus dans Judgment
L'IA peut-elle obtenir un score dans le top 10 % du SAT ?
L'IA peut-elle développer une nouvelle théorie scientifique expliquant un phénomène jusqu'alors inexpliqué ?
L'IA peut-elle détecter la maladie de Parkinson à partir de subtils changements de voix dans un enregistrement de 30 secondes ?