L'IA può risolvere problemi di matematica di livello internazionale in alcune categorie ?
Esprimi il tuo voto — poi leggi cosa hanno trovato la nostra redazione e i modelli di IA.
DeepMind's AlphaProof + AlphaGeometry 2 ha raggiunto un livello da medaglia d'argento all'IMO 2024 e si è avvicinato all'oro entro il 2025 in geometria e teoria dei numeri.
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)
Suggerisci un tag
Manca un concetto su questo tema? Suggeriscilo e un amministratore lo valuterà.
Stato verificato l'ultima volta il August 10, 2026.
Galleria
L'IA può risolvere problemi di matematica di livello internazionale in alcune categorie?
La giuria non ha potuto emettere un verdetto sulle prove presentate.
La giuria ha ritenuto il caso troppo equilibrato per dichiarare un vincitore, con un campo che punta ai lampi isolati di genialità da medaglia d'oro dell'IA e l'altro che insiste sul fatto che quei momenti non hanno mai portato a una mano costante in tutte le categorie. Piuttosto che dividere la differenza, hanno lasciato la questione nei terreni di prova per ora, dove il genio coesiste ancora con i glitch. Decisione: "L'IA sa individuare il teorema, ma non ha ancora guadagnato la stanza delle medaglie dell'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 IN ESAME, 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."
Le singole dichiarazioni dei giurati sono mostrate nell'inglese originale per preservare la precisione probatoria.
Cosa pensa il pubblico
No 13% · Sì 84% · Forse 3% 88 votesDiscussione
no comments⚖ 18 jury checks · più recente 2 giorni fa
Ogni riga è un controllo di giuria separato. I giurati sono modelli di IA (identità tenute volutamente neutre). Lo stato riflette il conteggio cumulativo su tutti i controlli — come funziona la giuria.