开普勒猜想（403年）
1611年 ， 天文学家约翰内斯·开普勒提出了这一猜想 ， 该猜想与三维空间中的球体堆积有关：它说 ， 填充空间的同等大小的球体的平均密度 ， 都比不上立方体紧密堆积和六边形紧密堆积的球体的平均密度 。 高斯在1831年证明 ， 如果球体排列在一个规则的晶格中 ， 这个猜想是正确的 。
1900年 ， 希尔伯特将该猜想列入了他著名的23个未解数学问题清单中 。 1953年 ， 托特表明 ， 确定所有排列的最大密度的问题可以简化为有限数量的计算 。 这意味着 ， 在一台足够快的计算机的帮助下 ， 穷竭证明是可能的 。 根据这个想法 ， 黑尔斯将线性规划方法应用到5000多个球体构型的函数上 ， 并在1998年宣布他的证明已经完成 。
该证明还广泛地依赖于全局优化理论和区间算法的方法 。 这对黑尔斯来说还不够 。 2014年 ， 他和21名合作者一起完成了为开普勒猜想寻找正式证明的项目 ， 该项目可以通过自动证明检查软件进行验证 。 虽然开普勒猜想看起来像一个娱乐数学问题 ， 但它与其他涉及各种优化模型的几何拓扑问题有关联 。
蜂窝猜想（2035年）
这个猜想是迄今为止等待证明时间最长的猜想 ， 它具有实际应用和哲学意义 。 它说正六边形网格是把一个表面划分成面积相等且总周长最小的区域的最好方法 。 它也可以用二维空间中具有光滑曲线的有限图来表示 。 这个问题的起因还不清楚；马科斯·特伦提乌斯·瓦罗在公元前36年左右的一篇文章中提到过它；然而 ， 据推测 ， 齐纳多鲁斯更早的作品《等距图》（约公元前180年）可能提到过它 。
同样是黑尔斯在1999年提供了证据 。 证明的关键引理是周长面积的“等周”估计 ， 证明是基于有限簇的缩减 。 该定理及其推广在优化空间、物理结构和材料浪费方面有直接的应用 ， 例如在建筑方面 。 将该定理推广到描述蜜蜂蜂巢形状的三维空间中 ， 成为科学哲学中争论的话题 。
【数学|十大基础数学证明，“简单”的蜂窝猜想证明，花了2000多年的时间】因为在物理上 ， 它回到了进化的事实 ， 六边形的形状 。 当蜜蜂为一个给定的蜂巢消耗最少的蜂蜡时 ， 科学哲学家们就这一事实的解释性质提出了几个问题：这是一种真正的数学解释 ， 还是生物学解释 ， 还是两者的结合？蜜蜂（和一般的动物）是否具有由进化所提供的符合形式数学的感性数学知识？为什么蜜蜂“知道”这个猜想的真相 ， 而人类却要等上两千多年才能证明呢?
推荐阅读
- 数学|称平行线能相交的数学奇才，遭质疑郁郁而终，其理论12年后被证实
- 基础教育|又一“铁饭碗”招聘，工作稳定福利好，有望拿50万安家费和补贴
- 科学|两院院士评选"2021年中国十大科技进展新闻"揭晓
- 申论|初中数学|实际问题与二次函数专题讲解+例题解析+专项训练，收藏
- 教师|2022考研数学是否为历年最难？难在哪里？
- 数学|要先拿个诺贝尔奖才能申请美国EB1A？
- 留学生|掌握这16招解题方法，高中数学冲刺130+不用愁！
- 大学|高一学生期末数学56、物理28，化学41，还有希望考重点大学吗？
- 数学|18岁一战成名，与“韦神”齐名的北大才子，数学界“颜值天花板”
- 数学|如何看待2021CPA财管复核成绩异常？