AnswersPublished12 sources
AlphaProof Nexus e la matematica: che cosa dimostrano davvero nove soluzioni
Un preprint del maggio 2026 riferisce che AlphaProof Nexus ha risolto 9 problemi di Erdős su 353 e dimostrato 44 congetture OEIS su 492: circa il 2,5% e l’8,9% dei rispettivi insiemi valutati. Gli autori dicono che esperti hanno controllato la corrispondenza tra le formulazioni Lean dei problemi di Erdős e le conget...
Pubblicato daModificato con GPT-6 LunaImmagini generate con GPT Image 2
Research answer
Key takeaways
- Un preprint del maggio 2026 riferisce che AlphaProof Nexus ha risolto 9 problemi di Erdős su 353 e dimostrato 44 congetture OEIS su 492: circa il 2,5% e l’8,9% dei rispettivi insiemi valutati.
- Gli autori dicono che esperti hanno controllato la corrispondenza tra le formulazioni Lean dei problemi di Erdős e le congetture originali; la verifica formale, però, non basta a stabilire novità e rilevanza matematica.
- Il costo indicato è di alcune centinaia di dollari per ogni problema di Erdős risolto: non chiarisce da solo quanto siano costati i tentativi falliti né l’efficienza complessiva della ricerca.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What does Google DeepMind’s October 8, 2026 Science paper, following its May arXiv preprint, report about AlphaProof Nexus’s solutions to ni. Article summary: The May preprint reports a meaningful but selective advance: AlphaProof Nexus resolved nine of 353 Erdős problems and proved 44 of 492 OEIS conjectures, with reported computing costs of a few hundred dollars per solved E. Topic tags: general, academic, general web, user generated, government. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, wate
Un preprint pubblicato su arXiv nel maggio 2026 riferisce che AlphaProof Nexus, un sistema di Google DeepMind, ha risolto nove dei 353 problemi aperti di Erdős valutati e dimostrato 44 delle 492 congetture esaminate dell’Online Encyclopedia of Integer Sequences (OEIS), una raccolta online di sequenze di numeri interi e delle congetture che le riguardano. Il costo di calcolo riportato è di alcune centinaia di dollari per ciascun problema di Erdős risolto. 17
Sono risultati che indicano il potenziale di un sistema per la ricerca automatizzata di dimostrazioni. Non equivalgono, però, a una prova che l’IA sappia risolvere con affidabilità problemi matematici in generale, né che ogni risultato sia originale.
Che cosa dicono i numeri
I nove problemi di Erdős corrispondono a circa il 2,5% dei 353 esaminati; le 44 congetture OEIS a circa l’8,9% delle 492 considerate. Sono proporzioni calcolate su questi specifici insiemi di prova, non tassi di successo applicabili a qualsiasi domanda matematica. Gli autori riferiscono inoltre che, per ciascun problema di Erdős risolto, esperti hanno controllato che la sua formulazione in Lean rappresentasse fedelmente la congettura originale. 17
Il costo dichiarato riguarda ogni problema di Erdős risolto: da solo non dice quanto siano costati i tentativi senza successo, né quanto sia efficiente l’intero processo di ricerca. 17
Lean verifica la dimostrazione, non tutto il contesto
AlphaProof Nexus viene presentato nel preprint come un sistema per cercare dimostrazioni formali assistite dall’IA. In questo approccio, una dimostrazione viene scritta in un linguaggio formale come Lean e sottoposta a un verificatore, che controlla se l’argomento segue dalla formulazione matematica inserita. 17
Questo controllo può offrire solide garanzie sulla correttezza formale della dimostrazione rispetto all’enunciato codificato. Ma non risponde automaticamente ad altre domande: la formulazione formale coincide davvero con il problema inteso? Il risultato era già noto? È matematicamente significativo? E quanto è stato l’intervento umano nel percorso che ha portato alla soluzione?
Per questo è rilevante che gli autori riferiscano un controllo esperto della corrispondenza tra gli enunciati Lean e i problemi di Erdős. La verifica del codice e la valutazione del contesto matematico sono passaggi distinti. 17
Che cosa resta da verificare
Un articolo di stampa pubblicato a ottobre riferisce che due dei risultati riguardano problemi proposti nel 1970 da Paul Erdős e András Sárközy. È un’indicazione che tra i successi ci sarebbero questioni di lunga data, ma si tratta di una fonte secondaria, non del preprint stesso. 19
Le fonti disponibili qui comprendono il preprint di maggio e resoconti secondari, ma non il testo completo dell’articolo di Science di ottobre né le valutazioni indipendenti dettagliate necessarie per esaminare ogni affermazione. Non consentono quindi di confermare i dettagli su una specifica versione del modello, sui risultati in geometria algebrica e ottimizzazione min-max o sulle contestazioni relative a soluzioni precedenti, modifiche degli enunciati, agenti alternativi e interventi umani. Questi aspetti non vanno considerati accertati senza esaminare l’articolo, le dimostrazioni formali e le valutazioni dei revisori.
Come valutare il risultato
L’esame deve essere fatto problema per problema: confrontare la congettura originale con la sua versione formalizzata, controllare la dimostrazione completa, consultare la letteratura precedente e documentare gli eventuali interventi umani. I numeri pubblicati rendono AlphaProof Nexus uno strumento di ricerca delle dimostrazioni che merita attenzione. Da soli, però, non stabiliscono quanto il sistema svolga ricerca matematica in autonomia né quanto siano nuovi e importanti i singoli risultati. 17
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "AlphaProof Nexus e la matematica: che cosa dimostrano davvero nove soluzioni"?
Un preprint del maggio 2026 riferisce che AlphaProof Nexus ha risolto 9 problemi di Erdős su 353 e dimostrato 44 congetture OEIS su 492: circa il 2,5% e l’8,9% dei rispettivi insiemi valutati.
What are the key points to validate first?
Un preprint del maggio 2026 riferisce che AlphaProof Nexus ha risolto 9 problemi di Erdős su 353 e dimostrato 44 congetture OEIS su 492: circa il 2,5% e l’8,9% dei rispettivi insiemi valutati. Gli autori dicono che esperti hanno controllato la corrispondenza tra le formulazioni Lean dei problemi di Erdős e le congetture originali; la verifica formale, però, non basta a stabilire novità e rilevanza matematica.
What should I do next in practice?
Il costo indicato è di alcune centinaia di dollari per ogni problema di Erdős risolto: non chiarisce da solo quanto siano costati i tentativi falliti né l’efficienza complessiva della ricerca.
Sources
arxiv.orgAdvancing Mathematics Research with AI-Driven Formal ...
elmundo.esGoogle DeepMind logra que una IA resuelva problemas matemáticos que llevaban más de 50 años sin solución
science.orgAt futuristic meeting, AIs took the lead in producing and reviewing all the studies