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 August 15, 2026.
Galerie
L'IA peut-elle résoudre des problèmes inédits d'olympiades internationales de mathématiques dans certaines catégories ?
Des démonstrations limitées existent — mais le jury n'était pas unanime.
Le jury a conclu que l'IA peut s'attaquer à des sections de l'Olympiade internationale de mathématiques, faisant preuve d'éclairs de génie rappelant un étudiant diplômé prometteur—capable de résoudre certains problèmes avec élégance mais encore trop sujet à des pages blanches lorsque les enjeux augmentent. Leur verdict partagé reflète à la fois les progrès du raisonnement symbolique et les lacunes persistantes en matière de créativité profonde et transversale qui laissent encore une place à l'élan humain. Verdict : « L'IA peut rédiger la démonstration, mais l'étincelle appartient encore au solveur. »
The jury found that AI can tackle sections of the International Math Olympiad, delivering flashes of brilliance reminiscent of a promising graduate student—able to solve certain problems with elegance but still too prone to blank pages when the stakes rise. Their split verdict reflects both the progress in symbolic reasoning and the lingering gaps in deep, category-spanning creativity that still leave room for human flair. Verdict: "AI can draft the proof, but the spark still belongs to the solver.
But the data is real.
The Case File
Across 19 sessions, 46 jurors have heard this case. Combined tally: 4 YES · 29 ALMOST · 13 NO · 0 IN RESEARCH.
Note: cumulative includes older juror opinions. The current session tally above is the live verdict.
By a vote of 0 — 2 — 0, the panel returns a verdict of PRESQUE, with verdict confidence of 83%. The court so orders. Verdict upgraded from prior session.
"AI solves some math problems"
"AI solves some Olympiad-level problems but not consistently novel or across all categories."
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⚖ 19 jury checks · plus récent il y a 3 jours
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 coacher une équipe de basket-ball de lycée jusqu'à un championnat ?
L'IA peut-elle quitter une pièce quand elle le devrait ?
L'IA peut-elle mentir de manière convaincante en présentant de fausses informations comme des faits ?