GPT-5 löst komplexen Mathematik-Beweis in Rekordzeit und begeistert OpenAI-Forscher

OpenAI-Forscher Sebastien Bubeck sagt, dass ihm GPT-5s mathematische Fähigkeiten einen Monat Zeit sparen würden. In einem Beitrag auf X berichtet er, dass GPT-5 für ihn eine sehr komplexe mathematische Aufgabe übernommen habe. Das Modell entwarf den Lösungsweg, führte eine Simulation aus, um eine Formel zu prüfen, und schrieb anschließend einen vollständigen Beweis, also eine lückenlose Rechnung. Für all dies hätte er früher rund einen Monat gebraucht, GPT-5 hingegen habe nur einen Nachmittag benötigt. Für ihn ist dies die „bisher beeindruckendste“ Ausgabe eines großen Sprachmodells.

Der Mathematiker Terence Tao sagte kürzlich, dass ihm generative KI bei einer Aufgabe mehrere Stunden Arbeit erspart habe, jedoch nicht im autonomen Modus: Er hatte eigene theoretische Annahmen, die er im Austausch mit der KI überprüfte. OpenAI veröffentlichte zudem einen Bericht, der zeigt, dass GPT‑5 in verschiedenen wissenschaftlichen Bereichen Zeit bei der Forschung einsparen kann.