Die künstliche Intelligenz von DeepMind hat zum ersten Mal in der Geschichte eine neue Lösung für ein komplexes mathematisches Problem gefunden

DeepMind

DeepMind hat mit Hilfe der Large Language Model (LLM)-Technologie eine neue Lösung für das sogenannte "Multiple-Covers-Puzzle" gefunden, eines der schwierigsten ungelösten mathematischen Probleme.

Was bekannt ist

Bei diesem Problem geht es darum, die maximale Anzahl von Punkten in der Ebene zu bestimmen, die durch Linien so verbunden werden können, dass keine drei Punkte auf derselben Linie liegen. Die Lösung des Rätsels wird seit mehreren Jahrzehnten gesucht, allerdings nur für kleine Punktmengen.

Das Modell von DeepMind, FunSearch genannt, hat zum ersten Mal neue Designs für große Mengen entdeckt, die weit über alles bisher Bekannte hinausgehen. Diese wissenschaftliche Entdeckung wurde durch die Kombination des PaLM 2-Sprachmodells von Google mit einem automatischen System zur Überprüfung von Fakten möglich gemacht.

Obwohl LLM das Problem nicht ein für allemal gelöst hat, hat es neue Fakten für die Wissenschaft entdeckt, behaupten die Wissenschaftler.

Den Entwicklern zufolge ist dies die erste bestätigte Entdeckung in der Mathematik, die mit Hilfe von künstlicher Intelligenz gemacht wurde. Sie könnte eine neue Ära in der Entwicklung von KI und Mathematik einleiten.

Quelle: The Next Web