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: Mathematik
3 Beiträge zum Thema „Mathematik“ – neueste zuerst.
Weitere Themen
KI-Beweis: Claude-Agenten knacken Fermats letzten Satz?
Anthropic meldet: Ein Schwarm von Claude-Agenten hat Fermats letzten Satz in Lean formalisiert. Wir ordnen ein, was das bedeutet.
DeepMind KI erobert Erdos-Probleme: Autonome Fortschritte in der Mathematik
Google DeepMinds KI-Agent hat einen bemerkenswerten Sprung gemacht: Er löst autonom komplexe Erdos-Probleme in der Mathematik. Dieser Durchbruch, der mit geringen Kosten einhergeht, könnte die Geschwindigkeit wissenschaftlicher Entdeckungen revolutionieren und zeigt das immense Potenzial von KI i…