图灵奖得主杰弗里·辛顿最近放了个大招，说未来十年AI要在数学领域全面超越人类。
这话一出，整个学术界都炸开了锅。
要知道数学可是人类智慧的顶流，现在AI要来抢地盘，这事儿到底靠不靠谱？
辛顿敢这么说，背后是有硬核逻辑的。
他认为数学这东西特别适合AI发力，因为它是个规则严密的封闭系统，不用做实验，自己跟自己玩就能进步。
这就好比给AI建了个专属健身房，器材齐全还不用排队。
想当年AlphaGo下围棋，一开始还得看人类棋谱学习，后来人家自己跟自己对弈，愣是走出了人类想都不敢想的招法。
现在AI搞数学也是这个路数，不再满足于模仿，开始自己搞创造了。
谷歌的AlphaGeometry系统现在牛得很，解题水平能跟国际数学奥赛金牌选手掰手腕。
还有个叫Harmonic的公司更狠，直接用AI搞定了埃尔德什留下的数学难题，这可是困扰数学家30年的硬骨头。
这些进展确实让人不得不服。
人类数学家解题靠直觉，经常卡壳；AI不一样，它能同时试错N种思路，效率根本不是一个量级。
就拿Lean形式化证明验证器来说，AI通过不断尝试、反馈、修正，学习速度跟坐了火箭似的。
数学最牛的地方在于，证明对不对，逻辑说了算，不用造个对撞机来验证。
这种"零验证成本"的特性，简直是为AI量身定做的。
别的学科搞研究，买设备就得花几亿，数学研究靠脑子就行，AI玩这个太合适了。
现在有了Lean、Coq这些形式化证明语言，AI能自己生成几万步的证明过程。
微软研究院用AI辅助证明"舒伯特计数问题"，要让人类来做，不知道得耗到猴年马月。
2021年DeepMind用AI搞定好几个拓扑学猜想，这效率让数学家都咋舌。
人类脑子有局限，三维以上的空间就想象不出来了，逻辑链条长了也容易断。
AI就没这毛病，它能在高维空间里找规律，发现那些人类想破头也看不出来的关联。
辛顿研究神经网络这么多年，对这一点怕是最有体会。
未来数学家可能要换个活法了。
辛顿说以后人类不用自己证明定理，负责给AI指路、提问题、解读结果就行。
2023年剑桥大学团队用AI发现了新的丢番图方程解法，就是这么玩的。
不过问题也来了，AI搞出个几千页的证明，人类看不懂咋办？数学家TimothyGowers就担心，要是AI证明光对没用还没启发性，那不就成黑箱子了？这确实是个头疼事。
AI数学的突破还能帮到其他学科。
DeepMind用AI优化量子场论计算，直接加速了粒子物理研究。
哈萨比斯就说，AI驱动的数学发现能成为其他学科的基础工具。
如此看来，AI在数学界的折腾，影响可能比我们想的还要大。
辛顿这"十年之约"不光是技术预测，更像是认知革命的预告。
AI不是来抢数学家饭碗的，是来帮人类把数学边界往外推的。
以后AI干逻辑推理的"体力活"，人类可以专心琢磨数学的本质问题：为啥数学能描述宇宙？美和真理到底啥关系？
人机配合搞不好真能开创数学研究的黄金时代，但前提是得把伦理规范这些配套设施建好。
说到底，技术再牛也得服务于人类对真理的追求不是？
热门跟贴