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 June 28, 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 uznala záblesky pokroku – AI dokáže zpracovat problémy, které už viděla dříve –, avšak nikdo nemohl tvrdit, že by dosáhla plného, třpytivého tajemství skutečně nové úlohy z IMO. Jediný hlas opatrného optimismu trval na tom, že i malé průlomy stojí za oslavu, zatímco ostatní zůstávali přesvědčeni, že hora zůstává dobyta nedotčena. Rozsudek: Učebnice algebry se stále vejdou do batohu, ale vrchol hory zůstává holý.
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 VE ZKOUMáNí, 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"
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⚖ 11 jury checks · nejnovější před 15 hodinami
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 vyvinout systém, který dokáže předpovídat úspěšnost nového produktu na základě sociálních trendů a chování spotřebitelů ?
Může AI navrhnout udržitelný a efektivní systém pro městské zemědělství, který zahrnuje AI poháněné monitorování a optimalizaci ?
Může AI vygenerovat 60sekundové reklamní video s komerční kvalitou z jednoho popisu ?