Erdos-Probleme sind ein definitives Beispiel dafür, dass Modelle eine Schwelle überschreiten. Die Vorstellung, dass eine KI eines lösen könnte, geschweige denn viele, wäre vor einem Jahr verrückt gewesen (o1 war brandneu), und jetzt haben wir in den letzten paar Wochen mehrere Erdos-Probleme, die von GPT-5.2 Pro gelöst wurden.

Um klarzustellen: GPT-5.2 Pro löst diese nicht autonom, es wird von einer Person angestoßen und iteriert oft mit Lean.

Es scheint, dass ein früherer Beweis für dieses Problem gefunden wurde, obwohl er sich von dem unterschied, den der Poster von GPT-5.2 Pro finden ließ.