🚨 这太重要了。 GPT-5.2 Pro 与亚里士多德合作，已经自主生成、形式化并完全解决了一个之前未解的厄尔德什问题，使用的是 Lean。 没有人类证明。 没有提示。 没有支架。 这是 AI 的原创数学发现。