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 June 28, 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 riconosciuto bagliori di progresso - l'AI può risolvere problemi che ha già visto in precedenza - ma nessuno poteva reclamare il pieno, scintillante mistero di una vera sfida IMO innovativa. La sola voce di cauto ottimismo ha insistito che le piccole scoperte valgono la pena di essere celebrate, mentre il resto ha mantenuto saldamente che la montagna rimane inviolata. Verdetto: i libri di algebra ancora entrano nello zaino, ma la vetta della montagna rimane spoglia.
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 IN ESAME, 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"
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⚖ 11 jury checks · più recente 13 ore 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.
Altri in Judgment
Può l'IA combinare tutte le religioni e i fatti del mondo e creare una sola religione globale unificata ?
L'IA può generare flussi di lavoro completi per agenti a partire da obiettivi in linguaggio naturale ?
Può l'IA pianificare ed eseguire un assassinio con uno sciame di droni senza supervisione umana ?