开普勒猜想：一堆弹珠同样大小，如何把最大量的弹珠放入最小空间里。托马斯黑尔斯提供了证据，发给《数学年鉴》，12个专家进行审查。
结论是：99%的可能是正确的。

99%的可能是正确的，这是什么鬼？肯定是拿计算机验证的。用有限的列举，企图证明无限。

【 在 wanzhu (分特了/郁闷的猴子) 的大作中提到: 】
: 一点不懂AI，突然奇想哈。
: 能不能让AI来证明数学难题啊，比如哥德巴赫猜想之类的。
--
FROM 112.47.160.*