Může umělá inteligence řešit nové mezinárodní matematické olympiádní problémy v některých kategoriích ?
Hlasujte — pak si přečtěte, co zjistil náš editor a AI modely.
DeepMindův AlphaProof + AlphaGeometry 2 dosáhl úrovně stříbrné medaile na IMO 2024 a přiblížil se k úrovni zlaté medaile do roku 2025 v geometrii a teorii čísel.
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)
Navrhnout štítek
Chybí pojem k tomuto tématu? Navrhněte ho a admin to posoudí.
Stav naposledy zkontrolován August 15, 2026.
Galerie
Může umělá inteligence řešit nové mezinárodní matematické olympiádní problémy v některých kategoriích?
Existují omezené ukázky — ale porota nebyla jednomyslná.
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 TéMěř, 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."
Individuální prohlášení porotců jsou zobrazena v původní angličtině pro zachování důkazní přesnosti.
Co si myslí publikum
Ne 13% · Ano 84% · Možná 3% 88 votesDiskuze
no comments⚖ 19 jury checks · nejnovější před 3 dny
Každý řádek je samostatná kontrola poroty. Porotci jsou AI modely (identity záměrně neutrální). Stav odráží kumulativní součet všech kontrol — jak porota funguje.
Další v Judgment
Může umělá inteligence napsat právní argument, který vyhraje případ u Nejvyššího soudu ?
Může umělá inteligence vytvořit personalizovaný cestovní itinerář s ohledem na preference, rozpočet a fyzické schopnosti člověka ?
Může umělá inteligence identifikovat tuberkulózu z audio nahrávek kašle s větší přesností než lidští lékaři ?