孪生素数猜想是说两个相差2的素数有没有无限多对，比如3和5、11和13这些。证明它难在现有数学工具不够强，比如筛法、圆法这些方法虽然能证明质数无限多，但处理差2的情况时容易出问题。比如筛法会漏掉很多可能的对，而圆法需要计算复杂数学对象，目前还没人能绕过这些限制。截至前年，已知找到超过200万对孪生素数，但都只是有限个数，无法推广到无穷。

难点主要在素数分布太不规则了。比如质数定理说质数密度随1/n下降，但具体到两个素数差2的情况，就像在沙滩上找两颗相隔两米的海星，永远不知道后面还有没有。已知的证明方法都像用钝刀切黄油——勉强推进但无法突破。张益唐2014年证明了质数间隙小于600，但孪生素数需要间隙更小（2），这就像从100米缩小到2米，难度差了几个数量级。筛法每次过滤都会损失精度，比如埃拉托斯特尼筛法处理到10^18时，漏掉的孪生素数对就超过100万，说明现有方法根本无法覆盖所有可能。所以这个猜想就像在迷雾中找路，每走一步都可能卡住，需要全新的数学语言才能破解。