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 15, 2026.
Galleria
L'IA può risolvere problemi di matematica di livello internazionale in alcune categorie?
Esistono dimostrazioni limitate — ma il collegio non è stato unanime.
La giuria ha stabilito che l'IA può affrontare alcune sezioni dell'International Math Olympiad, mostrando lampi di genio simili a quelli di uno studente laureato promettente—capace di risolvere certi problemi con eleganza ma ancora troppo incline a pagine bianche quando la posta in gioco si alza. Il loro verdetto diviso riflette sia i progressi nel ragionamento simbolico sia le lacune persistenti nella creatività profonda e trasversale che lasciano ancora spazio al tocco umano. Verdetto: "L'IA può stendere la dimostrazione, ma la scintilla appartiene ancora a chi la trova."
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 QUASI, 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."
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⚖ 19 jury checks · più recente 3 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.
Altri in Judgment
L'IA può diagnosticare il cancro della pelle da una foto con la precisione di un dermatologo ?
L'IA può generare un profilo psicologico basato sugli estratti conto di qualcuno ?
L'IA può generare nuovi racconti di fantasia per libri degni di essere letti ?