OpenAI gab bekannt, dass sein neues Reasoning-Modell einen originellen mathematischen Beweis geliefert hat, der eine berühmte ungelöste Hypothese in der Geometrie widerlegt. Dieses Problem wurde erstmals 1946 von Paul Erdős aufgestellt. Dies ist nicht der erste derartige Anspruch von OpenAI, aber diesmal scheinen die Ergebnisse deutlich fundierter zu sein. Dies berichtet Techcrunch.com .
Vor sieben Monaten behauptete der ehemalige Vizepräsident des Unternehmens, Kevin Weil, dass das GPT-5-Modell 10 von Erdős' ungelösten Problemen gelöst habe. Später stellte sich jedoch heraus, dass das Modell lediglich Lösungen gefunden hatte, die bereits in der Literatur existierten. Dieser Fehler löste Kritik von Konkurrenten wie Yann LeCun und dem Leiter von Google DeepMind, Demis Hassabis, aus. Um diesen Fehler diesmal zu vermeiden, verifizierte OpenAI den Beweis in Zusammenarbeit mit renommierten Mathematikern wie Noga Alon und Thomas Bloom.
„Fast 80 Jahre lang glaubten Mathematiker, dass die besten Lösungen quadratischen Gittern ähneln würden. Das OpenAI-Modell widerlegte diese Annahme und entdeckte eine völlig neue Familie von Konstruktionen, die effizienter arbeiten“, so das Unternehmen in einer Erklärung. Dies gilt als der erste Fall, in dem künstliche Intelligenz ein zentrales Problem der Mathematik eigenständig gelöst hat.
OpenAI betont, dass dieser Beweis nicht von einem speziell für Mathematik entwickelten System erbracht wurde, sondern von einem neuen Allzweck-Reasoning-Modell. Dies bedeutet, dass die Fähigkeit von KI-Systemen, lange und komplexe logische Ketten zu verknüpfen, gestiegen ist. Ein solcher Durchbruch dürfte in Zukunft neue Entdeckungen in Biologie, Physik, Ingenieurwesen und Medizin ermöglichen.
Lesen Sie „Zamin“ auf Telegram!
