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.