DeepMind-KI beweist neun Erdős-Probleme
AlphaProof Nexus von Google DeepMind hat neun bislang ungelöste Erdős-Probleme gelöst und 44 OEIS-Vermutungen formal bewiesen. Lean prüft jeden Schritt maschinell – doch der Großteil der Aufgaben bleibt offen.
Thema: Fragestellungen
1 Beitrag zum Thema „Fragestellungen“ – neueste zuerst.
Weitere Themen