图解人工智能（87）人工智能前沿-和数学家做朋友

机器定理证明的另一个有趣的例子是开普勒猜想的证明。查找资料看看这个猜想是什么科学家们是怎么在机器的帮助完成证明的。 资料查找总结。开普勒猜想以 17 世纪德国天文学家约翰内斯·开普勒命名是一个关于三维空间中如何最有效地堆放同等大小的球体的数学问题。简单来说这个猜想认为在三维空间中没有任何球体堆积方式的密度能超过面心立方与六方最密堆积的密度即约 74.048%。【遇见数学】想象一下水果摊上整齐堆放的橘子或苹果它们通常呈现一种特定的堆叠方式。开普勒猜想实际上是在数学上证明水果商直觉上采用的这种堆积方法确实是最节省空间的可以参考下面列出的网址。 https://zhuanlan.zhihu.com/p/450025511