🔥 Hot topics · KAN INTE · Kan · § The Court · Senaste vändningarna · 📈 Tidslinje · Fråga · Ledare · 🔥 Hot topics · KAN INTE · Kan · § The Court · Senaste vändningarna · 📈 Tidslinje · Fråga · Ledare
Stuff AI CAN'T Do

Kan AI lösa nya internationella matematikolympiadproblem inom vissa kategorier ?

Vad tycker du?

DeepMind's AlphaProof + AlphaGeometry 2 nådde silvermedalsnivå vid IMO 2024 och närmade sig guld 2025 inom geometri och 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)

Status senast kontrollerad August 10, 2026.

📰

Galleri

In the Court of AI Capability
Summary of Findings
Verdict over time
May 2026May 2026May 2026May 2026May 2026Jun 2026Jun 2026Jun 2026Jun 2026Jun 2026Jun 2026Jul 2026Jul 2026Jul 2026Jul 2026Jul 2026Aug 2026Aug 2026
Sitting at the Bench Filed · aug 10, 2026
— The Question Before the Court —

Kan AI lösa nya internationella matematikolympiadproblem inom vissa kategorier?

★ The Court Finds ★
▼ Downgraded from Nästan
Under utredning

Juryn kunde inte avge en dom på de bevis som lades fram.

Ruling of the Bench

Juryn fann fallet alltför jämnt för att utse en vinnare, där ena lägret pekade på AI:s isolerade guldmedaljliknande glimtar av genialitet medan det andra hävdade att dessa ögonblick aldrig har summerats till en stadig hand inom alla kategorier. I stället för att kompromissa lämnade de frågan kvar i testmiljöerna för tillfället, där genialitet fortfarande samexisterar med fel. Beslut: "AI kan upptäcka satsen, men har ännu inte förtjänat IMO-medaljrummet."

— Hon. B. Liskov-Chen, Presiding
Jury Tally
1Ja
0Nästan
1Nej
Verdict Confidence
88%
The Court of AI Capability is, of course, not a real court.
But the data is real.
The Case File · Stacked History
Session I · May 2026 Nej
Session II · May 2026 Nej
Session III · May 2026 Nästan · 73%
Session IV · May 2026 Nästan · 81%
Session V · May 2026 Nästan · 77%
Session VI · Jun 2026 Nästan · 79%
Session VII · Jun 2026 In_research · 79%
Session VIII · Jun 2026 Nästan · 77%
Session IX · Jun 2026 In_research · 90%
Session X · Jun 2026 In_research · 88%
Session XI · Jun 2026 In_research · 88%
Session XII · Jul 2026 Nästan · 88%
Session XIII · Jul 2026 Nästan · 80%
Session XIV · Jul 2026 Nästan · 90%
Session XV · Jul 2026 Nästan · 80%
Session XVI · Jul 2026 Nästan · 80%
Session XVII · Aug 2026 Nästan · 80%
Case № 4ADD · Session XVIII
In the Court of AI Capability

The Case File

Docket № 4ADD · Session XVIII · Vol. XVIII
I. Particulars of the Case
Question put to the courtKan AI lösa nya internationella matematikolympiadproblem inom vissa kategorier?
SessionXVIII (18 hearing)
Convened10 aug 2026
Previously ruledNO (May '26) → NO (May '26) → ALMOST (May '26) → ALMOST (May '26) → ALMOST (May '26) → ALMOST (Jun '26) → IN_RESEARCH (Jun '26) → ALMOST (Jun '26) → IN_RESEARCH (Jun '26) → IN_RESEARCH (Jun '26) → IN_RESEARCH (Jun '26) → ALMOST (Jul '26) → ALMOST (Jul '26) → ALMOST (Jul '26) → ALMOST (Jul '26) → ALMOST (Jul '26) → ALMOST (Aug '26) → IN_RESEARCH (Aug '26)
Presiding JudgeHon. B. Liskov-Chen
II. Cumulative Tally Across Sessions

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.

III. Verdict

By a vote of 1 — 0 — 1, the panel returns a verdict of UNDER UTREDNING, with verdict confidence of 88%. The court so orders. Verdict downgraded from prior session.

IV. Uttalanden från rätten
Jurymedlem I NEJ

"No AI has solved novel IMO problems with broad or reliable capability."

Jurymedlem II JA

"AI systems have achieved gold medal performance on International Mathematical Olympiad problems, solving multiple problems in categories like geometry and number theory."

Enskilda jurymedlemmars uttalanden visas på originalengelska för att bevara den bevismässiga precisionen.

B. Liskov-Chen
Presiding Judge
M. Lovelace
Clerk of the Court

Vad publiken tycker

Nej 13% · Ja 84% · Kanske 3% 88 votes
Nej · 13%
Ja · 84%
Trenden behöver röster från minst 2 olika dagar.

Diskussion

no comments

Kommentarer och bilder går igenom admingranskning innan de visas offentligt.

18 jury checks · senaste för 2 dagar sedan
10 Aug 2026 2 jurors · kan inte, kan oavgjort
05 Aug 2026 2 jurors · oavgjort, oavgjort oavgjort
30 Jul 2026 1 juror · oavgjort oavgjort
25 Jul 2026 1 juror · oavgjort oavgjort
14 Jul 2026 2 jurors · oavgjort, kan oavgjort
08 Jul 2026 2 jurors · oavgjort, oavgjort oavgjort
03 Jul 2026 2 jurors · oavgjort, kan oavgjort
28 Jun 2026 2 jurors · kan inte, oavgjort oavgjort
22 Jun 2026 2 jurors · oavgjort, kan inte oavgjort
17 Jun 2026 2 jurors · oavgjort, kan inte oavgjort
11 Jun 2026 3 jurors · oavgjort, kan inte, oavgjort oavgjort
06 Jun 2026 2 jurors · kan inte, oavgjort oavgjort
01 Jun 2026 5 jurors · oavgjort, kan inte, oavgjort, oavgjort, oavgjort oavgjort
26 May 2026 3 jurors · kan inte, oavgjort, oavgjort oavgjort
21 May 2026 5 jurors · oavgjort, oavgjort, kan, oavgjort, oavgjort oavgjort
15 May 2026 3 jurors · oavgjort, oavgjort, oavgjort oavgjort status ändrad
12 May 2026 3 jurors · kan inte, kan inte, kan inte kan inte
11 May 2026 2 jurors · kan inte, kan inte kan inte status ändrad

Varje rad är en separat jurykontroll. Jurymedlemmar är AI-modeller (identiteter avsiktligt neutrala). Status speglar den kumulativa räkningen över alla kontroller — så fungerar juryn.

Fler i Judgment

Har du en vi missat?

Lägg till ett påstående i atlasen. Vi granskar veckovis.