北京
10月10日消息，近日，OpenAI一口气放出722篇数学手稿，论文和部分Lean证明上传GitHub。其中编号074的两篇最扎眼：一篇97页，声称证明三维挂谷极大函数猜想，比王虹和Zahl的集合版更强；另一篇175页，声称证明四维挂谷猜想Hausdorff维数为4。两篇署名只有“OpenAI”。
背景是：1917年挂谷宗一提出“针掉头”问题，二维1971年解决，三维卡了半个世纪，直到2025年2月被王虹和Joshua Zahl拿下。今年7月，王虹、邓煜在费城国际数学家大会上拿下菲尔兹奖。OpenAI这次直接把三维推进到更强版本，四维从3.059的旧下界直接声称推到4。
OpenAI的两篇论文大量引用了王虹与Zahl的工作。三维论文中“Wang”出现23次，直接调用了Guth、王虹、Zahl的简化证明，以及王虹与任康的平面Furstenberg估计。四维论文的关键输入之一，正是三维那篇OpenAI论文里的引理。
消息让数学界炸锅。Anthropic员工Alek Dimitriev在X上说：“这届菲尔兹奖，将是人类最后一次拿到这个奖。”往届得主Timothy Gowers跟帖：“不过这个过程有滞后，所以我想他们大概能撑到2030年。”
陶哲轩则牵头人类数学协会发布联合声明，措辞严厉：“数学家们并没有要求做这些工作。一次性发布700多个文件，展示的不是学术，而是权力。”声明敦促数学家停止与OpenAI合作。也有学者兴奋，多伦多大学助理教授Daniel Litt认为数学家接下来有大量激动人心的工作要做；Yann LeCun称数学正迎来新时代。
OpenAI在README中提醒，部分未经形式化的结果“可能有问题”。四维证明也尚未经同行评审，未做Lean形式化。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
