AlphaProof Nexus risolve 9 problemi di Erdős
In sintesi: AlphaProof Nexus di Google DeepMind ha risolto nove problemi matematici irrisolti da decenni, con dimostrazioni formalmente verificabili da macchina. Mercoledì 21 maggio 2026, un preprint su arXiv ha documentato qualcosa che i matematici non si aspettavano di leggere così presto: un sistema di intelligenza artificiale ha risolto autonomamente nove problemi rimasti aperti per…