@paperpaper886: 上周有和数学系的朋友讨论过AI4Math的现状和未来，他说现在的AI作为辅助工具已经足够强大，但如果AI要做独立自主的discovery还有一段路要走
摘要
讨论了AI在数学领域的现状与未来，引用事例称ChatGPT 5.5 Pro自主解决了高维计算几何中死卡多年的最远点对问题，显示AI在数学发现上的潜力。
查看缓存全文
缓存时间: 2026/07/03 04:30
上周有和数学系的朋友讨论过AI4Math的现状和未来，他说现在的AI作为辅助工具已经足够强大，但如果AI要做独立自主的discovery还有一段路要走
Phoenix Yin (@Phoenixyin13): AI 自主终结了高维计算几何的不可能任务！
在6月末上线的新论文中，摘要明确写道该证明最初由 ChatGPT 5.5 Pro 发现。 学者们仅用极简 Prompt 给出思路，模型便自主攻克了死卡人类多年的数学无人区。
在高维空间中，给出 n 个点，找出距离最远的两个点，即最远点对问题。
相似文章
@snowboat84: 今天讨论点硬核的。一个问题：AI用到了什么程度的数学? 从工具和模型本身看，AI用到的数学平均年龄150岁，绝大部分是19世纪中叶之前就有的：矩阵乘法、梯度下降、链式求导、傅里叶、内积、概率，大都是本科前两年的内容。 但AI涌现出的一些现…
讨论AI用到的数学主要是19世纪之前的线性代数、微积分等，但涌现现象如Scaling Law、涌现能力、双下降、情境学习和表示几何缺乏数学解释，类比1900年物理学的乌云，认为可能推动21世纪数学发展。
Terence Tao on How AI Is Changing Mathematics
数学家陶哲轩认为AI正在降低数学研究中的认知摩擦，使实验和大胆想法成为可能，并有望成为主流工具；他还预测未来数学发表将分享探索路径而非仅最终结果。
@snowboat84: 补充说明一下，关于AI涌现出来的那些现象，scaling law、emergence、双重下降、表征几何，目前相关讨论的论文已经汗牛充栋。但这里有一个很大的问题：他们都在用计算机科学家的方式思考，而不是物理学家的方式思考。 什么是计算机科…
作者评论当前AI研究过多使用计算机科学的思维方式而缺乏物理学方法，提出需要建立如'Cyber Space'的理想系统来奠定理论基础。
@DayShuai: 明天 volunteer 了在 Yang Zhang lab 组会上分享我自己的 AI loop。同一套 OS pattern 最近半年在 automath 和 newmath 跑出 3,400+ 0-axiom Lean 4 定理、5×…
分享在Yang Zhang实验室组会上的AI loop经验，包括自动化定理证明、多机器协作、蒸馏私人经验库等，并提及Fields奖得主使用AI解决数学难题的例子。
@vista8: https://x.com/vista8/status/2072191315916538039
文章从伽罗瓦的群论故事切入，深入探讨了AI在数学领域的能力边界，区分了“连接闪电”（跨领域连接）和“建造山峰”（创造新框架）两种进展类型，分析了RLVR训练方法的局限性，并提出了“可磨性”概念来解释AI在数学和代码上的快速进步。