哥德巴赫猜想
2002年，香港大学的廖明哲与王天泽把“充分大”的下限降至formula_3。不过这仍然超出了计算机验证的范围（计算机仅对formula_4以下的数验证过强哥德巴赫猜想，弱哥德巴赫猜想的验证范围比此略多）。不过这一下限已经足够小，使得比其小的单个奇数都可以用现有的素性测试来验证，如椭圆曲线素性测试已被用来验证多达26,643位数的素性。