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 10, 2026.
Galerie
Může umělá inteligence řešit nové mezinárodní matematické olympiádní problémy v některých kategoriích?
Porota nemohla na základě předložených důkazů vynést verdikt.
Porota shledala případ příliš vyrovnaný na to, aby vyhlásila vítěze, přičemž jeden tábor poukazoval na AI izolované záblesky zlaté brilance a druhý trval na tom, že tyto okamžiky nikdy nepředstavovaly stabilní výkon napříč všemi kategoriemi. Místo aby se rozhodli kompromisně, otázku prozatím nechali v kolbišti, kde se genialita stále prolíná s chybami. Rozsudek: „AI dokáže odhalit teorém, ale zatím si nezasloužila medailovou síň IMO.“
The jury found the case too finely balanced to declare a victor, with one camp pointing to AI’s isolated flashes of gold-medal brilliance and the other insisting those moments have never added up to a steady hand across all categories. Rather than split the difference, they left the question in the proving grounds for now, where genius still coexists with glitches. Ruling: “AI can spot the theorem, but hasn’t yet earned the IMO medal room.”
But the data is real.
The Case File
Across 18 sessions, 44 jurors have heard this case. Combined tally: 4 YES · 27 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 1 — 0 — 1, the panel returns a verdict of VE ZKOUMáNí, with verdict confidence of 88%. The court so orders. Verdict downgraded from prior session.
"No AI has solved novel IMO problems with broad or reliable capability."
"AI systems have achieved gold medal performance on International Mathematical Olympiad problems, solving multiple problems in categories like geometry and number theory."
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⚖ 18 jury checks · nejnovější před 2 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.