GPT 5.2 Pro hat das Erdos-Problem (#281) gelöst.