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 August 15, 2026.
Galleri
Kan AI løse nye internationale matematikolympiadeopgaver inden for nogle kategorier?
Snævre demoer findes — men panelet var ikke enigt.
Juryen fandt, at AI kan tackle sektioner af Den Internationale Matematikolympiade, idet den leverer glimt af genialitet, der minder om en lovende kandidatstuderende – i stand til at løse visse problemer med elegance, men stadig alt for tilbøjelig til blanke sider, når indsatsen stiger. Deres delte dom afspejler både fremskridtene inden for symbolsk ræsonnement og de vedvarende huller i dyb, kategorioverskridende kreativitet, der stadig giver plads til menneskelig flair. Dom: "AI kan udarbejde beviset, men gnisten tilhører stadig løseren."
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 NæSTEN, 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."
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⚖ 19 jury checks · seneste for 3 dage 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.