Anthropic-Mitarbeiter sagen, dass auch Claude Mythos OpenAIs "Meilenstein der KI-Mathematik" lösen kann. OpenAIs Modell hatte kürzlich die Unit-Distance-Vermutung von Erdős widerlegt, ein seit 1946 offenes Problem der kombinatorischen Geometrie. Anthropic-Ingenieur Sholto Douglas schreibt auf X, Mythos löse das Problem mit einem "hübschen, einfachen Beweis". Er sieht darin einen Hinweis auf "ernsthaften Überhang" bei mathematischen Entdeckungen durch KI.
via XDas Team nutzte ein Testsystem, das nach der Lösung von Erdős-Problem #1196 aufgebaut wurde: Isolierte Claude-Code-Instanzen mit Zugriff auf Mythos bekommen das Problem gestellt, entwickeln mögliche Lösungswege, eine Instanz fasst diese zusammen und verteilt sie an weitere Instanzen, die dann unabhängig daran arbeiten. Dabei wählte Mythos häufig einen anderen Weg als OpenAIs Modell. Das Ergebnis bezeichnet der Mathematiker Daniel Litt als "etwas schlechter" als bei OpenAI. Mythos soll aber auch die OpenAI-Lösung gefunden haben. Anthropic hat eine von Opus 4.7 aufbereitete Version des Beweises veröffentlicht.
Auch Google Deepmind gab bekannt, dass ein KI-gestütztes System neun Erdős-Probleme lösen konnte. Allerdings nutzt Deepmind den Umweg über die formale Programmiersprache Lean.
KI-News ohne Hype – von Menschen kuratiert
Mit dem THE‑DECODER‑Abo liest du werbefrei und wirst Teil unserer Community: Diskutiere im Kommentarsystem, erhalte unseren wöchentlichen KI‑Newsletter, 6× im Jahr den "KI Radar"‑Frontier‑Newsletter mit den neuesten Entwicklungen aus der Spitze der KI‑Forschung, bis zu 25 % Rabatt auf KI Pro‑Events und Zugriff auf das komplette Archiv der letzten zehn Jahre.
