GESP 三级 · GESP 202309 C++ 三级 第 23 题

著名的哥德巴赫猜想：任一大于 2 的偶数都可写成两个素数之和。我们可以通过枚举法来证明它。

别急着想枚举怎么写，先跳出程序思维。哥德巴赫猜想是数学界著名的未解之谜，至今没人能给出严谨证明，更别提用简单的枚举法了。

大部分同学会选A，因为看到‘枚举法’就想当然地认为只要把偶数拆成两个数检查是不是素数就能证了。其实命题人挖的坑不在算法实现，而在‘证明’二字——枚举只能验证有限个特例，无法覆盖无穷大的自然数集合，所以用它来‘证明’猜想本身就是逻辑错误。

考点与命题视角

本题属于GESP三级《数学》模块，但命题人刻意把‘数论猜想’和‘算法思维’混在一起考。哥德巴赫猜想（任一大于2的偶数都可写成两个素数之和）是1742年提出的著名未解之谜，至今仍是数学悬案。题目断言‘我们可以通过枚举法来证明它’，这不仅是数学事实错误，更是算法逻辑错误。

解题心法：先定性，再定量

拿到这种真假判断题，第一步永远是回归定义：猜想≠定理，未证≠已证。枚举法本质是穷举，对无限集永远无法穷尽，因此‘用枚举证明猜想’这一前提本身就是假的。很多同学会陷入‘枚举怎么写’的陷阱，试图去写代码验证，却忽略了题目问的是‘能不能证明’，而不是‘怎么验证几个例子’。