Und das Erdos-Problem Nummer 3 wurde von GPT-5.2 pro (#379) gelöst. Es wurde von Terence Tao akzeptiert. Ich glaube, die letzten paar Tage waren der "Startmoment" für die KI-Wissenschaft.