Künstliche Intelligenz, KI, Artificial Intelligence, AI, Quantencomputer, Robotik, ChatGPT, Grok, Transhumanismus

🔥Die KI von DeepMind hat gerade 9 ungelöste mathematische Probleme autonom gelöst. Forscher enthüllten, dass DeepMinds neuer Agent, AlphaProof Nexus, erfolgreich 9 offene Erdős-Probleme gelöst hat, darunter zwei, die seit mehr als 50 Jahren ungelöst geblieben waren. Was beeindruckend ist, sind die Kosten: Jede erfolgreiche Lösung soll Berichten zufolge nur wenige hundert Dollar an Rechenleistung gekostet haben. Aber hinter dieser Zahl steckte eine massive Suchanstrengung. Das System versuchte tatsächlich alle 353 formalisierten Erdős-Probleme und generierte wiederholt Beweise, überprüfte sie in Lean (einem formalen Mathematik-Verifikationssystem), analysierte Fehler und versuchte es erneut. Wenn der Agent mehr als 3.000 Iterationen ohne Fortschritt überschritt, wurde der Lauf beendet. Die Architektur funktionierte wie ein KI-Mathematiker mit Gedächtnis und Strategie: • Generieren eines Beweisversuchs • Formale Überprüfung in Lean • Analyse von Fehlern und Verfeinerung des Ansatzes • Erforschen mehrerer Argumentationszweige gleichzeitig • Speichern vielversprechender Zwischenideen • Aufgeben von Sackgassen durch evolutionäre Suche Neben den Erdős-Aufgaben bewies das System auch 44 bisher unbekannte Hypothesen aus der mathematischen Sequenzdatenbank OEIS. Dies könnte der erste groß angelegte Benchmark sein, bei dem ein KI-Unternehmen Agenten direkt an ungelösten Forschungsproblemen statt an Standardprüfungen oder Codierungsaufgaben testete.