Mitarbeiter von Anthropic berichten, dass auch das KI-Modell Claude Mythos in der Lage ist, das von OpenAI als „Meilenstein der KI-Mathematik“ bezeichnete Erdős-Problem zu lösen. OpenAIs Modell hatte kürzlich die Unit-Distance-Vermutung von Erdős widerlegt, ein seit 1946 ungelöstes Problem der kombinatorischen Geometrie. Der Anthropic-Ingenieur Sholto Douglas äußerte auf X, dass Mythos das Problem mit einem „hübschen, einfachen Beweis“ löse. Dies deutet seiner Meinung nach auf einen „ernsthaften Überhang“ bei mathematischen Entdeckungen durch KI hin.
Das Team verwendete ein Testsystem, das speziell für die Lösung des Erdős-Problems #1196 entwickelt wurde. Isolierte Claude-Code-Instanzen, die Zugriff auf Mythos hatten, wurden mit dem Problem konfrontiert und entwickelten verschiedene Lösungsansätze. Eine Instanz fasste diese Ansätze zusammen und verteilte sie an weitere Instanzen, die dann unabhängig daran arbeiteten. Dabei wählte Mythos häufig einen anderen Lösungsweg als das Modell von OpenAI. Der Mathematiker Daniel Litt bezeichnete das Ergebnis als „etwas schlechter“ als das von OpenAI, stellte jedoch fest, dass Mythos auch die Lösung von OpenAI gefunden hatte. Anthropic veröffentlichte eine überarbeitete Version des Beweises, die auf Opus 4.7 basiert. Zusätzlich gab Google DeepMind bekannt, dass ein KI-gestütztes System in der Lage war, neun Erdős-Probleme zu lösen. Allerdings nutzt DeepMind dafür den Umweg über die formale Programmiersprache Lean.
Für weitere Informationen über die Unterstützung von KI-Modellen beim Roboter-Coding, können Sie das neue Framework besuchen. Außerdem hat OpenAI angekündigt, die Prompt-Injection-Abwehr zu verbessern.
„`
Quellen: the-decoder
Bildquelle: KI generiert
🚀