OpenAI beansprucht autonome Lösung eines 80 Jahre alten Erdős-Problems

KI-Zusammenfassung

OpenAI gibt an, mit einem neuen Reasoning-Modell ein seit 1946 ungelöstes geometrisches Problem von Paul Erdős widerlegt zu haben — diesmal mit unabhängiger mathematischer Begutachtung. Begleitend zur Ankündigung veröffentlichte das Unternehmen Stellungnahmen der Mathematiker Noga Alon, Melanie Wood und Thomas Bloom, der die Erdős-Problems-Website betreibt und einen früheren Anspruch von OpenAI-VP Kevin Weil als "dramatische Fehldarstellung" bezeichnet hatte. Weil hatte vor sieben Monaten behauptet, GPT-5 habe zehn Erdős-Probleme gelöst; tatsächlich hatte das Modell nur bereits publizierte Lösungen wiedergefunden. Das aktuelle Ergebnis stamme laut OpenAI von einem allgemeinen Reasoning-Modell, nicht von einem spezialisierten Mathematiksystem, und markiere "das erste Mal, dass KI eigenständig ein herausragendes offenes Problem einer mathematischen Disziplin löst." Die Entdeckung einer neuen Konstruktionsfamilie, die quadratische Gitter übertrifft, soll Implikationen für Biologie, Physik und Medizin haben.