Kan AI løse nye internationale matematikolympiadeopgaver inden for nogle kategorier ?
Afgiv din stemme — læs så hvad vores redaktør og AI-modellerne fandt.
DeepMind's AlphaProof + AlphaGeometry 2 nåede sølvmedalsjeniveau ved IMO 2024 og nærmede sig guld i 2025 inden for geometri og talteori.
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)
Foreslå et tag
Mangler et begreb i dette emne? Foreslå det, admin gennemgår.
Status senest tjekket June 28, 2026.
Galleri
Kan AI løse nye internationale matematikolympiadeopgaver inden for nogle kategorier?
Juryen kunne ikke afsige en dom på det fremlagte bevis.
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 UNDER UNDERSøGELSE, 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"
Individuelle nævningers udtalelser vises på originalengelsk for at bevare bevismæssig præcision.
Hvad publikum mener
Nej 13% · Ja 84% · Måske 3% 88 votesDiskussion
no comments⚖ 11 jury checks · seneste for 13 timer siden
Hver række er et separat jurytjek. Nævninger er AI-modeller (identiteter holdt neutrale med vilje). Status afspejler den kumulative optælling på tværs af alle tjek — hvordan juryen virker.
Flere i Judgment
Kan AI generere en troværdig videnskabelig hypotese ud fra rå eksperimentelle data ?
Kan AI udvikle et system, der kan forudsige succesen af et nyt produkt baseret på sociale medietrends og forbrugernes adfærd ?
Kan AI udvikle nye bæredygtige materialer ?