OpenAI公布数百份数学成果，数学家质疑验证与项目性质

数学界今天彻底破防了，人类最后的智力象牙塔正在坍塌。 陶哲轩刚刚在博客转发了一份炸裂声明：OpenAI 昨天突然毫无预警地向全世界甩出了 700 多份数学论文，声称直接攻克了一大批人类历史上悬而未决的顶级数学难题。 然而，由顶尖学者组成的“人类数学协会”（AHM）不仅没鼓掌，反而集体发起了抵制呼吁。 AHM 声明里的原话极具攻击性： “一次性倾倒 700 篇论文不是学术贡献，这是赤裸裸的权力展示（Demonstration of power）。” 数学家们愤怒的点在于： 1. 学术拒绝服务攻击（DoS）： 这相当于企业为了 IPO 造势，把 700 个核弹扔给学界，却让全世界没有薪水的数学家充当免费人肉审稿机。 2. “无法理解的答案”算真理吗？ 如果一个世纪难题被黑盒算力+形式化代码暴力破开了，但整个人类社会没有一个人能真正理解其中的直觉与机制——数学到底算不算被推进了？ 评论区一句高赞直接把我看愣了： “当年 AlphaGo 碾碎围棋三百年定式的时候，数学家高高在上看热闹；今天轮到自己的象牙塔被推倒了，大家才突然想起来要保卫‘人类的理解’。” 归根结底是数学家的利益受到了侵害。 不过话说回来，当柯尔莫哥洛夫、庞加莱苦思冥想一辈子的直觉，最终被 GPU 阵列的蛮力推导在几个小时内冲刷殆尽；当证明变得像自动化工厂流水线一样廉价，人类对真理的求索究竟还剩什么意义？ 你站哪边？ A. 赞成 AHM：没有人类理解的证明只是算力垃圾 B. 站 OpenAI：真理不问出处，人类守门人该清醒了

曝光 817785 · 评论 588 · 点赞 3134 · 书签 1750

其实是一下扔出来700座未经验证的屎山让大家屎里掏金，这才多久就已经被挑出来一大堆错打回去撤稿了。

曝光 88943 · 评论 29 · 点赞 624 · 书签 59

经典永流传。在OpenAI让陶哲轩发疯的背景下，大家可以再读这篇文章。

曝光 39788 · 评论 23 · 点赞 356 · 书签 83

OpenAI 一夜之间又公布了 722 个数学难题的解法。 我怎么感觉自己像个原始人，但隔壁的大部落里面，正在接受上帝的空投，直接空投了蒸汽机、发电机、战斗机、核弹、互联网。 我还在这练习怎么扔长矛。

曝光 36464 · 评论 44 · 点赞 170 · 书签 18

今天就翻车了。查出3篇论文中有相似的符号错误。 而且是几个学生用Astra查出来的。 OpenAI发表前自己不查的吗？

曝光 32020 · 评论 33 · 点赞 172 · 书签 19

王虹可能是 AI 解数学题时代的最大受益者 OpenAI 发布了 722 篇数学手稿 其中一篇好像解决了四维挂谷猜想 想象一下 你穷极一生攻克一个百年猜想 结果某一天被AI几个小时解决了 就像 闭关千年，参悟大道，终于证得那一丝天机 出关那日，天地异象，万剑齐鸣 然后看见山下有个少年，随手一招，天机碎了 少年问：你在干什么？

曝光 26969 · 评论 17 · 点赞 87 · 书签 17

这篇来讨论一下AI洗劫数学界后，数学界会进入什么样的新形态？这次OpenAI用722篇数学论文再次扫荡了数学界。如果说上回NS方程的暴力解答还让数学家们像小媳妇一样哭哭啼啼说自己受到了欺负，这回数学家们只能放弃抵抗，酥软着身体来享受精壮猛男的暴击带来的欲罢换休的快感了。有人会说，这722篇文章大部分没有被形式化，里面的错误率会很高，但是这都不是重点。AI再次迭代后，大大提高正确率，每一篇数学论文都自带lean形式化并自动被验证，再也无须高傲而低效的人类审稿人，这些在可预见的未来都极有可能实现。现在的问题是，在这样的状况下，未来的数学将如何发展？ 我是乐观派。莫斯科不相信眼泪，我也不信数学小媳妇们的哭哭啼啼。我乐观地认为，AI将有助于数学进入新的纪元。我建议大家来看看两篇十九世纪的数学文章。第一篇是时年23岁的数学家克莱因写的《埃朗根纲领》，这篇划时代的纲领试着用群论的观点来统一当时五花八门的几何学。第二篇也是德国数学家的大作，那是28岁的黎曼的演讲稿《论作为几何基础的假设》，这篇划时代的论文提出了几何度量的新观念，正式开创了黎曼几何。 按照今天的观点，这两篇充其量只是blog的帖子，几乎全是文字，每篇都只有一个数学公式，按照现在通用的评审机制，这两篇完全无法刊登在所谓的一流数学杂志上。但是正是如同散文随笔一样的两篇文章，的的确确地开创了数学的新时代。前者用群论的思想统一了不同的几何学，让数学从具体的计算转向对结构、变换和不变量的研究。后者重新定义了人类对空间和几何的理解，使空间本身的度量与曲率成为研究对象，并最终为现代几何和广义相对论奠定了基础。 这就给了我们极大的启发。数学的灵魂是什么？数学的灵魂从来不是小镇做题家的灵魂，而是一种运用数学的方式方法得到的新认识的哲学家和艺术家的灵魂。 过去数学发展的核心模式，就是一种小镇做题家的模式。数学家不断提出所谓的猜想，提供给做题家去做题。通过做题，做题家们再拉出一大坨新的问题，让后代做题家去刷，世世代代无穷尽也。现代数学越来越专业化以后，一个人往往需要经过十几年训练，掌握大量定义、引理、证明和文献，才能进入一个很狭窄的领域。未来AI大规模接管了这类工作后，在这些小小象牙塔里蠕动着的做题家的末日可想而知。 未来的数学会返璞归真，重新回到一个更根本的层次：我们如何用数学的方法去创造和理解世界。非欧几何告诉我们，改变公理就可以构造一个完全不同但自洽的新天新地。黎曼几何进一步重新定义了我们如何理解空间本身，直到广义相对论乃至于弦论。克莱因的《埃尔朗根纲领》则用群论把不同的几何统一到一个更高的框架中。这些工作的核心都不是繁重的计算，而是创造新的概念和看待世界的方式。AI把大量技术性的数学工作接管以后，未来数学真正重要的问题，可能不再是“如何刷题”，而是我们还能创造什么新的数学世界，以及这些数学世界能否帮助我们重新认识自然和我们自己。 别忘了，人类文明的最高形态，是数学文明，这是柏拉图理念论以来一直的文明传统。未来的数学，必然重新回归到高山流水、清风明月的高雅时代，回到柏拉图学院的原初状态中。 除非人类文明毁灭，否则数学将一直存在，直到世界的尽头。 OpenAI的github：https://github.com/openai/math 爱尔兰根纲领论文英译版：https://arxiv.org/pdf/0807.3161 黎曼的几何基础论文英译版：https://www.cs.jhu.edu/~misha/ReadingSeminar/Papers/Riemann54.pdf

曝光 24941 · 评论 22 · 点赞 227 · 书签 161

被AI冲击的终于不止是平凡的打工人了！😂😂 中国数学家王虹，花了四年多才证明"三维挂谷猜想"拿了数学界的诺贝尔奖，openai却一夜就攻克了722个数学难题，AI真的开始抢数学家的饭碗了😂😂

曝光 24722 · 评论 30 · 点赞 273 · 书签 124

数学不存在了（或者数学之神已经诞生了 那数学家接下来做什么呢？ 数学系的学生呢？

曝光 18738 · 评论 42 · 点赞 25 · 书签 1

🚨数学家公开声明：我们没请 OpenAI 解题，700多份文件不是学术，是秀权力！ 申明核心要点： 1️⃣数学家没有要求、也没有委托OpenAI做这批工作。 2️⃣OpenAI自称参考了“数学与人工智能顾问小组”，但小组的核心立场是：前沿AI公司不应当用内部模型去测试高难度数学问题。声明认为这一前提被无视。 3️⃣因此，OpenAI被指完全不尊重保证数学可信、伦理和公共利益的科研规范。 4️⃣声明拒绝“这次发布推进了数学”的说法，并呼吁公众对这种出版模式保持怀疑。 5️⃣一次性放出700多份文件，被定性为展示权力，而不是展示学术。 6️⃣呼吁数学家停止与OpenAI合作，回到以人类理解为中心的科学路径。 声明来自“人类数学协会”通讯工作组，针对OpenAI 10月6日放出的数学手稿库。 #OpenAI #数学 #AI #科研规范 #人类数学协会 #陶哲轩 #菲尔兹奖

曝光 16150 · 评论 37 · 点赞 29 · 书签 16

人类认知的终点，可能是数学；而数学的终点，是对宇宙底层规律的理解。OpenAI刚刚公布了372组数学研究成果，涉及大量长期未解的数学难题。如果这些成果最终得到验证，对普通人意味着什么？ 1、黎曼猜想相关问题：进一步理解素数的分布规律，为密码学和信息安全研究提供新的数学基础。 2、希尔伯特第十问题：确定某些方程问题是否存在通用求解算法，揭示计算机与AI无法突破的理论边界。 3、卡塔兰常数无理性问题：确定重要数学常数的基本性质，为数论与精密数学研究提供新的理论工具。 4、Goldfeld猜想：揭示椭圆曲线的深层规律，推动现代密码学所依赖的数学理论发展。 5、Chowla猜想：研究整数序列中隐藏的随机性，为伪随机算法和数论研究提供理论支持。 6、圆周率π的无理性测度：确定分数逼近圆周率的精度极限，深化对数学常数与数值逼近的理解。 7、Falconer距离猜想：揭示不规则几何结构中的距离分布规律，为分形分析和复杂空间建模提供理论基础。 8、挂谷猜想：推动高维几何和傅里叶分析，为医学成像、信号处理及通信技术相关算法提供数学支持。 9、傅里叶收敛问题：研究如何从频率信息中恢复原始信号，与音频处理、图像重建和数字通信密切相关。 10、马勒猜想：揭示高维几何结构的最优边界，为优化算法、计算几何和信息理论开辟新的研究方向。 11、希尔伯特第十六问题：理解复杂动力系统中周期运动的规律，为工业控制、振动分析和工程模拟提供理论基础。 12、Hadwiger猜想：如果反例成立，将推翻经典图论中的部分长期认识，推动网络结构分析和组合优化理论发展。 13、平面染色问题：研究如何在相互冲突的约束下分配有限资源，与无线频率分配、资源调度和算法设计存在理论联系。 14、埃尔德什等差数列猜想：证明看似无序的整数集合中存在必然的数学结构，深化对数字规律与随机性的理解。 15、Kaplansky猜想：重新定义某些代数结构的性质，推动非交换代数及相关基础数学理论发展。 16、Mézard–Parisi公式：理解大量变量相互作用的复杂系统，为机器学习、组合优化和统计物理研究提供新工具。 17、自由群因子同构问题：揭示无限维数学结构之间的关系，为算子代数和量子理论研究提供新的理论基础。 18、Vlasov–Maxwell方程：研究带电粒子与电磁场的复杂运动，为核聚变、等离子体模拟及空间物理研究提供数学支持。 19、De Giorgi猜想：揭示非线性方程及界面结构的规律，为材料科学、相变研究和复杂物理系统建模提供理论基础。 20、无穷调和函数正则性问题：研究极端条件下数学模型的稳定性质，为最优控制、非线性方程和复杂工程计算提供理论依据。 参考来源：OpenAI官方数学研究成果目录 https://github.com/openai/math

曝光 13579 · 评论 15 · 点赞 88 · 书签 70