{"source":{"id":"2098515807869255893","title":"陶哲轩和另外24位菲尔兹奖得主联名了。 信是直接写给各大AI实验室的。 劈头盖脸就一句话： 你们正在摧毁数学。 头条新闻…","url":"https://mubeitech.com/p/2098515807869255893"},"method":"semantic-similarity","count":6,"items":[{"rank":1,"id":"2098628145137991848","account":"mubei","brand":"@mubei","title":"加州理工的数学黑客松，OpenAI 不赞助了。 钱都准备好了，宣布撤回。 这是这家巨头极其罕见的一次退场。 平时让 AI…","summary":"加州理工的数学黑客松，OpenAI 不赞助了。 钱都准备好了，宣布撤回。 这是这家巨头极其罕见的一次退场。 平时让 AI 巨头低头的，是版权官司，或者监管调查。 这次是谁？ 是一群数学家。 数学界对 AI 的反感已经压不住了。 大量看似严谨、实则错漏百出的机器推导，被学者们直接痛…","body":"加州理工的数学黑客松，OpenAI 不赞助了。\n钱都准备好了，宣布撤回。\n这是这家巨头极其罕见的一次退场。\n\n平时让 AI 巨头低头的，是版权官司，或者监管调查。\n这次是谁？\n是一群数学家。\n\n数学界对 AI 的反感已经压不住了。\n大量看似严谨、实则错漏百出的机器推导，被学者们直接痛批为\"数学垃圾\"。\n加州理工要办数学黑客松，OpenAI 拿着钱想当赞助商。\n学界的抗议声浪立刻爆发。\n\n结果呢？\nOpenAI 没扛住，退让了。\n黑客松继续办，但它的赞助资格和名字，被彻底撤了下来。","category":"其它","score":null,"translated_x_url":"https://x.com/i/status/2098633230761029759","translated_status_id":"2098633230761029759","published_at":"2026-09-12 04:27:07","created_at":"2026-09-12T06:21:55+02:00","url":"https://mubeitech.com/p/2098628145137991848","markdown_url":"https://mubeitech.com/p/2098628145137991848/markdown"},{"rank":2,"id":"17170603","account":"mubei","brand":"@mubei","title":"只要你透出一点研究风声，海量 AI 算力就会立刻扑过来把你的课题铲平。 数学家陶哲轩最近指出了一个正在发生的事实。 学者…","summary":"只要你透出一点研究风声，海量 AI 算力就会立刻扑过来把你的课题铲平。 数学家陶哲轩最近指出了一个正在发生的事实。 学者辛辛苦苦找出来的方向，还没来得及深入，就被大公司的算力直接截胡了。 以前做数学，最难的是解题。 现在颠倒过来了。 在 AI 时代，判断哪道题真正值得做，反而成了…","body":"只要你透出一点研究风声，海量 AI 算力就会立刻扑过来把你的课题铲平。\n数学家陶哲轩最近指出了一个正在发生的事实。\n学者辛辛苦苦找出来的方向，还没来得及深入，就被大公司的算力直接截胡了。\n\n以前做数学，最难的是解题。\n现在颠倒过来了。\n在 AI 时代，判断哪道题真正值得做，反而成了最稀缺的资源。\n这需要极深厚的经验，才能摸清整门学科的难度分布。\n\n但现在的 AI 正在把这种难度地图直接抹平。\n算力能在瞬间攻克某些传统难题，但没人知道它的极限在哪里。\n加上商业 AI 公司坚决不公开负面结果，也不透露解题的具体过程。\n整个学界根本摸不清 AI 的能力边界。\n\n结果是什么？\n顶尖学者的直觉和眼光，成了算力巨头免费的寻宝雷达。\n只要传出有人在做某个方向，大批算力就会闻风而动，抢先把它算透。\n原创团队还没来得及把研究做深，成果就成了别人的。\n\n整个激励机制彻底被扭曲了。\n为了不被截胡，学者们唯一的自保手段就是闭嘴。\n没有人再敢向同行公开分享有前景的研究思路。\n延续了几个世纪的开放科学传统，正在被逼着退回保密时代。","category":"其它","score":null,"translated_x_url":null,"translated_status_id":null,"published_at":"2026-09-09 07:18:56","created_at":"2026-09-09T09:14:53+02:00","url":"https://mubeitech.com/p/17170603","markdown_url":"https://mubeitech.com/p/17170603/markdown"},{"rank":3,"id":"2097463762429120902","account":"mubei","brand":"@mubei","title":"AI能靠堆算力解开千禧年数学难题吗？ 当世顶尖数学家陶哲轩说：能。 但他紧接着补了一句：我毫无兴趣。 最近，数学界在热议…","summary":"AI能靠堆算力解开千禧年数学难题吗？ 当世顶尖数学家陶哲轩说：能。 但他紧接着补了一句：我毫无兴趣。 最近，数学界在热议一项流体力学的重要突破。 一篇光是简化后就长达 76 页的论文，试图向千禧年难题\"纳维-斯托克斯方程\"发起冲击。 很多人都在问：能不能把这套方法直接交给 AI…","body":"AI能靠堆算力解开千禧年数学难题吗？\n当世顶尖数学家陶哲轩说：能。\n但他紧接着补了一句：我毫无兴趣。\n\n最近，数学界在热议一项流体力学的重要突破。\n一篇光是简化后就长达 76 页的论文，试图向千禧年难题\"纳维-斯托克斯方程\"发起冲击。\n很多人都在问：能不能把这套方法直接交给 AI 和超级算力，暴力通关？\n陶哲轩公开给出了定调。\n\n他说得很坦诚：原则上完全没有障碍。\n只要砸进去海量的算力和 AI 辅助，硬把最终的证明砸出来，他一点都不会意外。\n但他明确表示，自己对这种暴力推进毫无兴趣。\n\n为什么没兴趣？\n因为算力再大，也只是在填补繁琐的技术细节。\nAI 确实能帮你扫清无数工程障碍，把长达几十上百页的复杂推导硬生生补齐。\n但那只是力气活。\n\n陶哲轩说得很清楚：他真正在意的，是彻底吃透这套方法，提炼出背后核心的数学新思想与结构洞见。\n至于靠海量算力和 AI 硬砸出来的证明？\n他 ：自己对这种操作毫无兴趣。","category":"其它","score":null,"translated_x_url":"https://x.com/i/status/2097476265741586909","translated_status_id":"2097476265741586909","published_at":"2026-09-08 23:18:25","created_at":"2026-09-09T01:15:04+02:00","url":"https://mubeitech.com/p/2097463762429120902","markdown_url":"https://mubeitech.com/p/2097463762429120902/markdown"},{"rank":4,"id":"2049506643948253283","account":"warroom","brand":"@warroom","title":"AI 圈最吓人的数字，可能不是 20%，而是 92%。 Max Tegmark 把话挑明了。 一些科技 CEO 自己签过…","summary":"AI 圈最吓人的数字，可能不是 20%，而是 92%。 Max Tegmark 把话挑明了。 一些科技 CEO 自己签过声明，承认超级智能可能导致人类灭绝。 可他们嘴上又常说，灭绝概率大概 15% 到 20%。 Tegmark 的判断更高。 如果让这些公司想怎么干就怎么干，他估计…","body":"AI 圈最吓人的数字，可能不是 20%，而是 92%。\n\nMax Tegmark 把话挑明了。\n一些科技 CEO 自己签过声明，承认超级智能可能导致人类灭绝。\n可他们嘴上又常说，灭绝概率大概 15% 到 20%。\n\nTegmark 的判断更高。\n如果让这些公司想怎么干就怎么干，他估计失控概率接近 90%。\n\n为什么他敢这么说？\n他是理论物理学家，吃数学和模型这碗饭。\n他和团队拿目前最流行的超级智能控制理论去做模拟。\n结果是，92% 的情况下，人类失去控制。\n\n92% 是什么概念？\n不是模型偶尔掉链子。\n是把人类押上桌之后，大多数局面都收不回来。\n\n他用了一个核电站类比。\n造一座不会失控的核电站，本来就比造一个能发电的机器难得多。\n所以核电站有安全标准。\n所以审批慢。\n所以没人会说，先让公司上线反应堆，炸了再赔钱。\n\nAI 超级智能的问题就在这里。\n硅谷想按软件节奏冲刺，风险却越来越像核工业。\n代码可以热修复，文明没有回滚键。\n\n一个成熟社会对技术的态度，不该是崇拜 CEO 的速度。\n该问的是，谁承担失败成本，谁有权把全人类放进同一个实验场。\n\n真正的自由市场，需要责任边界。\n没有安全标准的超级智能竞赛，最后奖励的不是最聪明的人，而是最敢把别人命运当融资材料的人。","category":"科技","score":41.1,"translated_x_url":null,"translated_status_id":null,"published_at":"2026-04-29 15:18:45","created_at":"2026-04-29T17:10:36+02:00","url":"https://mubeitech.com/p/2049506643948253283","markdown_url":"https://mubeitech.com/p/2049506643948253283/markdown"},{"rank":5,"id":"rp_c4c78e1d0f4c83df","account":"mubei","brand":"@mubei","title":"1300 万行代码，29511 个定理，只为了验证 30 年前一个早就被人类承认的数学结论。 很多人以为这是 AI 又在…","summary":"1300 万行代码，29511 个定理，只为了验证 30 年前一个早就被人类承认的数学结论。 很多人以为这是 AI 又在抢数学家的饭碗。 全看反了。 AI 没有提出任何新公式，也没有发现任何新定理。 它干的，是一场对人类知识库的终极验资。 1995 年，安德鲁·怀尔斯（Andre…","body":"1300 万行代码，29511 个定理，只为了验证 30 年前一个早就被人类承认的数学结论。\n很多人以为这是 AI 又在抢数学家的饭碗。\n全看反了。\nAI 没有提出任何新公式，也没有发现任何新定理。\n它干的，是一场对人类知识库的终极验资。\n1995 年，安德鲁·怀尔斯（Andrew Wiles）发表了费马大定理的完整证明。\n130 页的天书，浓缩了数论三百年来的顶峰。\n当年全世界能彻底读懂那份手稿的学者，一只手就能数得过来。\n为了挑出里面的漏洞，数学界最顶尖的同行评议团队关门审了几个月。\n后来甚至真发现了一个致命断点，怀尔斯又拉上理查·泰勒（Richard Taylor）闭关整整一年才打上补丁。\n这暴露了现代科学体系里一个没人愿意承认的隐形危机：\n当人类最前沿的知识变得越来越庞大、逻辑链条越来越漫长，我们凭什么确定那些所谓的权威证明里，没有藏着下一个谁也没发现的断裂点？\n这台长期卡死科学前沿的冰冷机器，叫作形式化编译。\n人类数学论文是用自然语言写的。\n字里行间写满了「显而易见」、「同理可得」、「读者自证不难」。\n这种交流靠的是同行之间的智力直觉和信任。\n但计算机不讲信任。\n在 Lean 4 这类交互式定理证明器里，没有模糊空间。\n每一个数学定义，都必须从最底层的 3 个基本公理出发，一步一步推导。\n中间只要漏掉一个逻辑断点，整个程序直接报错。\n把人类顶尖论文逐字逐句翻译成这种防弹代码的过程，就是形式化编译。\n帝国理工学院的数学教授凯文·巴扎德（Kevin Buzzard）此前领衔了费马大定理的人类形式化工程。\n那是全球几十位顶尖数学家组成的协作团队。\n他们的预期时间表，是手工啃上五到十年。\n因为要把 1995 年达蒙-戴蒙德-泰勒（Darmon–Diamond–Taylor）的那套论述体系全部拆碎、转译成代码，是一场极其耗费心智、容错率为零的高精度苦工。\n人脑的验证带宽，在这里被推到了物理极限。\n哥伦比亚大学彭天翼团队开发了 Prove2Me 协作框架，让多个 Claude 智能体共享一个有向无环图，把整个证明任务拆解成数万个逻辑节点并发推进。\n11 天。\n1300 万行 Lean 4 代码。\n29511 个中间引理。\n最终通过了独立的 Rust 内核验证器 nanoda 检验，没有留下一处未经证明的空缺。\n荷兰数学家维迪克（Freek Wiedijk）在二十多年前列出的百大数学定理形式化清单，在这一刻被画上了最后一个勾。\n这件事情的分水岭，不是 AI 拥有了人类的数学灵感。\n是科学知识的信任机制，第一次拥有了工业级的自动化验资机。\n过去几百年，人类积累知识靠的是同行评议与权威背书。\n论文发在顶级期刊，几位审稿人点头，整座学术大厦就建在这份共识之上。\n但当现代科学的深度远远超出人类肉眼的核查速度，信任就变成了最昂贵的风险。\n当形式化编译被这套系统跑通，数学、密码学、芯片架构与底层软件的逻辑链条，第一次可以在几天内完成全量穷尽式的硬核校验。\n这场突破的核心价值，不在于机器替人省下了多少算力。\n在于它把那道横亘在人类文明头顶几十年的信任成本，一次性压到了零。","category":"其它","score":100,"translated_x_url":"https://x.com/i/status/2096563933872071032","translated_status_id":"2096563933872071032","published_at":"2026-09-06 13:05:36","created_at":"2026-09-06T13:05:36.898971","url":"https://mubeitech.com/p/rp_c4c78e1d0f4c83df","markdown_url":"https://mubeitech.com/p/rp_c4c78e1d0f4c83df/markdown"},{"rank":6,"id":"2097287342402711800","account":"mubei","brand":"@mubei","title":"数学界最顶级的未解难题，突然传出被 AI 攻克了。 一位数学教授，花了一整年死磕纳维-斯托克斯方程。 这是世界著名的千禧…","summary":"数学界最顶级的未解难题，突然传出被 AI 攻克了。 一位数学教授，花了一整年死磕纳维-斯托克斯方程。 这是世界著名的千禧年数学难题。 整整一年，他把研究的所有草稿和推导，全部放进了 OpenAI 的 Codex。 每一行计算、每一个核心思路，后台日志全在 OpenAI 手里。 然…","body":"数学界最顶级的未解难题，突然传出被 AI 攻克了。\n\n一位数学教授，花了一整年死磕纳维-斯托克斯方程。\n这是世界著名的千禧年数学难题。\n整整一年，他把研究的所有草稿和推导，全部放进了 OpenAI 的 Codex。\n每一行计算、每一个核心思路，后台日志全在 OpenAI 手里。\n\n然后，怪事发生了。\n圈内突然开始疯传：AI 已经把这个难题解出来了。\n\n教授看到消息当场懵了。\n他立刻发邮件质问 OpenAI：这到底是怎么回事？\n\n邮件发过去不久，OpenAI 的电话直接打了过来。","category":"其它","score":null,"translated_x_url":"https://x.com/i/status/2097296518176731607","translated_status_id":"2097296518176731607","published_at":"2026-09-08 11:44:44","created_at":"2026-09-08T13:34:02+02:00","url":"https://mubeitech.com/p/2097287342402711800","markdown_url":"https://mubeitech.com/p/2097287342402711800/markdown"}]}