ARTICLE · 1271674

AI revolute math的冲击波 -1

发布时间：2026-10-29 05:15:02 最近访问：2026-10-29 05:15:02

《可计算离散整体几何结构》实验室出品

之前是AI for math，努力让AI 对math有用，突然就变成AI 冲击波了，发展太快。
席教授视频里提了几点：第一点就是陈省身证明高斯伯纳定理，变成高斯伯纳陈定理的意义。
用新的方式=>证明已有结论
陈省身这个示例展示了 "新方式证明已有结论”的重要作用，重要到直接开拓了一个研究方向，研究领域这么重要：AMS Notices：美国数学学会（American Mathematical Society）:陈省身
席老师提到的这个观点和我上述观点一样。但，我们应该是第一个把这个说出来。。（如果之前有数学家说过，请留言出指
主要是因为“可计算离散整体几何结构”就是倡导用算法工具研究陈省身开拓的“整体几何结构”，而不是本来的基于“抽象思维”工具。
对于这个"用新的方式=>证明已有结论"这个是深有感受，因为一开始接触，也都是觉得高斯都证明了定理了，再来一个证明，结论还是没变，意义不大。随着认识的深化，才慢慢发现，结论不重要，重要的是证明的过程。在过程里发现出来新大陆。
我们做的“可计算离散整体几何结构”也是如此，通过“算法”对已有结论的研究，发现出来很多新大陆。
这才回头深刻体会陈省身的开拓性。
但是，要是不研究“整体几何结构”，恐怕还是无法深刻体会，也只能是字面上知道这是一个认识。
席教授视频里提到的第二个观点：就是AI做的证明要有约束有规则。这个我们没有太多想法，因为那是数学家自身的定位提出的，对下游来说，只要AI能促进对“数学的理解”，能够“构建新的数学结构”，那么不管是高斯做的，还是张三做的，还是AI做的，对其他人来说都没区别，都是好事。
其次就是高斯做的也不是一开始都尽善尽美，都是后面逐渐完善。