AI e matematica: cosa sta succedendo davvero | Erdős, Riemann, Gowersare

Negli ultimi mesi le AI hanno prodotto risultati veri in matematica: controesempi a congetture di Erdős, un progresso sull'ipotesi di Riemann, problemi di fisica risolti da modelli linguistici. Ne parliamo con calma: cosa è successo davvero, quanto è hype, e come sta cambiando il modo di fare ricerca. Daniele Ceravolo - sviluppatore da Wolfram Angelo Giustiniani - dottorando in neuroscienze cognitive alla SISSA, background in matematica. Argomenti toccati: Recap 2022–2026: da Galactica e Minerva a GPT, fino ai risultati recenti Il controesempio "a distanza" alla congettura di Erdős Conflitto d'interessi: hype, valutazioni, comunicazione via Twitter invece che via riviste Quanto velocizzano davvero la ricerca (e perché è difficile misurarlo) A chi va il merito: il caso Perelman–Hamilton, la dichiarazione di Leiden, il blog di Timothy Gowers Previsione: motori matematici "alieni" in stile AlphaZero, e il problema dell'interpretabilità Formalizzazione in Lean e i settori che rischiano di "morire" Mochizuki, la congettura ABC e la teoria di Teichmüller inter-universale La legge di Goodhart e le olimpiadi di matematica come benchmark Riviste scientifiche, Elsevier e il sistema di pubblicazione ------------------------------------------------------------ LINK E APPROFONDIMENTI Blog "Minimi locali" (Daniele) su Substack: https://mechanapoleon.substack.com/ Dichiarazione di Leiden: https://leidendeclaration.ai/ https://en.wikipedia.org/wiki/Leiden_... I post di Timothy Gowers: https://gowers.wordpress.com/2026/07/... https://gowers.wordpress.com/2026/08/... Congettura di Erdős (distanza unitaria) smentita da GPT-5: https://arxiv.org/abs/2605.20695 https://xenaproject.wordpress.com/202... https://scottaaronson.blog/?p=9782 Progressi sull'ipotesi di Riemann (versione non rilasciata di Claude alza il lower bound dal 41,6% al 67,2%): https://www.anthropic.com/research/ri... https://techcrunch.com/2026/08/11/an-... Matrice di Hadamard di ordine 668, trovata con Claude: https://epoch.ai/frontiermath/open-pr... https://www.johndcook.com/blog/2026/0... OpenAI, risultati in fisica teorica (amplitudini di gluoni / ricorsione di Berends-Giele): https://openai.com/index/accelerating... https://openai.com/index/new-result-t... Paper di Parisi e Zamponi con uso dichiarato di Claude (congettura del jamming): https://arxiv.org/abs/2606.03300 Medaglia Fields 2026 e passaggio di Jacob Tsimerman a OpenAI: https://www.quantamagazine.org/jacob-... https://www.sfchronicle.com/science/a... AlphaProof (DeepMind), argento alle IMO in Lean: https://deepmind.google/blog/ai-solve... https://www.nature.com/articles/s4158... Mochizuki, congettura ABC e teoria di Teichmüller inter-universale: https://en.wikipedia.org/wiki/Inter-u... https://www.math.uni-bonn.de/people/s... Formalizzazione dell'Ultimo Teorema di Fermat in Lean (Kevin Buzzard, Imperial): https://github.com/ImperialCollegeLon... Riviste ed Elsevier: https://gowers.wordpress.com/2012/01/... http://thecostofknowledge.com/ https://discreteanalysisjournal.com/ ------------------------------------------------------------ Capitoli: 00:00 Intro e presentazioni 01:47 Recap: LLM e scienza dal 2022 a oggi 05:02 Il controesempio "a distanza" alla congettura di Erdős 09:54 Conflitto d'interessi: hype, valutazioni, comunicazione 13:57 L'AI velocizza la ricerca, ma di quanto? 17:12 Dimostrazioni da un prompt: casi reali 18:13 A chi va il merito? Perelman e Hamilton 19:25 Gowers, la dichiarazione di Leiden e l'attribuzione 24:31 Verso motori matematici "alieni" (stile AlphaZero) 25:47 Formalizzazione in Lean e i settori che "muoiono" 30:51 Mochizuki, congettura ABC e teoria di Teichmüller 37:54 Buttare milioni sulle olimpiadi di matematica 38:25 La legge di Goodhart 39:32 Riviste, Elsevier e il sistema di pubblicazione 41:52 Chiusura e dove seguirci #matematica #intelligenzaartificiale #ai #llm