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: DeepMind
3 Beiträge zum Thema „DeepMind“ – neueste zuerst.
Weitere Themen
Hassabis fordert neue US-KI-Aufsicht nach Wall-Street-Vorbild
Google-DeepMind-Chef Demis Hassabis warnt vor unkontrollierten AGI-Risiken und schlägt eine industrie-finanzierte Behörde mit 30-tägiger Prüfpflicht vor.
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…