GPT 5.2 Pro löste Erdos-problemet (#281).