AI微积分高手却解不开竞赛题：逻辑证明的短板何在

ChatGPT能解微积分，却解不开一道初中竞赛题——这背后的反差有何玄机GPT-4几秒内就能攻克高考数学压轴，但在一道需要“灵光一闪”的竞赛证明题面前却可能寸步难行。这并非算力不足，也非训练数据匮乏。这个反差，指向了一个关于“智能本质”的深层谜题。先来看一个让许多人费解的现象。你把一道高中数学题扔给 GPT-4，它大概率能给出步骤详尽的解答。但若让它严谨证明“存在无穷多个素数”——这道两千年前欧几里得已解出的题——它给出的“证明”往往逻辑存在漏洞，或者仅是在重复结论，而非真正在进行推理。一个能“解题”的系