Meilenstein bei KI-Tools, die auf Erdos-Probleme angewendet werden, mit GPT-5.2 Pro: