这样的例子很多，比如那个听起来似乎很“幼稚”的开普勒猜想。

早在三百年前，比如开普勒就提出了最密堆叠问题，简单说就是如何摆防炮弹或者橘子才能最密集。

别说数学家了，随便一个水果摊主都知道要一层层插空摆放。

对这种方式，在数学上有个专业术语，大家学化学的时候肯定听过：六方最密堆积和面心立方堆积。很多金属晶体便是这种结构。

开普勒猜想就是六方最密堆积和面心立方堆积是不是最密集的摆放方式。

直觉上很像，但想在数学上证明可不是容易事。

三百年来一众大数学家对比都束手无策，甚至在1900年希尔伯特提出的23个数学问题中，就有开普勒猜想（当然希尔伯特拓展到了n维）！

这个看似简单又有点“无聊”的数学难题甚至不是通过人力完成的证明。

又过了一百多年，一位美国数学家黑尔斯花了十多年，于2015年才用计算机通过穷举完成了形式化证明。

反正科普与真正的数理化有很大的差距。

此外，去见爱因斯坦不只是研究论文，还有一件“正事”：申请专利。

李谕在奥地利这几天闲着没事时搞出了一些汽车上的专利，准备将它们一起申请通过。

既然是想做博世这种隐形的幕后大佬，专利必须足够多才行。

而且自从上次让爱因斯坦审核过一次专利后，李谕就深深爱上了这种感觉，哈哈，简直不要太过瘾！