OpenAIs GPT-5.4 Pro löst offenbar eigenständig offenes Mathematikproblem Erdős #1196

OpenAIs Modell GPT-5.4 Pro hat offenbar das offene Mathematikproblem Erdős #1196 gelöst. Das Modell soll die Lösung in etwa 80 Minuten gefunden und in weiteren 30 Minuten als LaTeX-Arbeit aufbereitet haben. Eine formale Verifikation sei in Arbeit.

Der Mathematiker Terence Tao kommentierte im Erdős-Problems-Forum, die Arbeit zeige eine bisher nicht explizit beschriebene Verbindung zwischen der Anatomie ganzer Zahlen und der Theorie von Markov-Prozessen. Er bezeichnete das als sinnvollen Beitrag, der über die Lösung des einzelnen Problems hinausgehe. Kevin Barreto, der laut eigenen Angaben bald dem AI-for-Science-Team bei OpenAI beitreten wird, merkte im selben Forum an, die verwendete Markov-Ketten-Technik sei ein kreativer Schritt, den menschliche Mathematiker trotz langer Beschäftigung mit dem Problem übersehen hätten.

Die Diskussion ist insofern relevant, als bei LLMs gerade in der Mathematik immer wieder über deren Fähigkeit diskutiert wird, kreative Ansätze jenseits der beim Training gelernten Datenpunkte zu entwickeln. Sie zeigt, dass auch innerhalb bekannter Datenpunkte neues, aber noch nicht beschriebenes Wissen schlummern kann.