{"source":{"id":"rp_c4c78e1d0f4c83df","title":"1300 万行代码，29511 个定理，只为了验证 30 年前一个早就被人类承认的数学结论。 很多人以为这是 AI 又在…","url":"https://mubeitech.com/p/rp_c4c78e1d0f4c83df"},"method":"semantic-similarity","count":5,"items":[{"rank":1,"id":"mb-20260901-3bd786","account":"mubei","brand":"","title":"1637 年，费马在丢番图《算术》的页边写下一行拉丁文","summary":"1637 年，费马在丢番图《算术》的页边写下一行拉丁文","body":"1637 年，费马在丢番图《算术》的页边写下一行拉丁文。\n他说自己发现了一个绝妙证明，可惜书边太窄写不下。\n这句话成了人类科学史上一场持续 357 年的悬案。\n从欧拉、高斯到柯西、库默尔，无数顶尖头脑前赴后继。\n他们在草稿纸上算尽了每一个素数，全部撞死在同一堵墙上。\n直到 1994 年，安德鲁·怀尔斯在普林斯顿阁楼里交出一份 128 页的论文。\n困扰人类三个半世纪的费马大定理，宣告终结。\n很多人以为，怀尔斯凭着绝顶算力，终于把费马当年没写完的算式算出来了。\n事实正好相反。\n怀尔斯整整闭门 7 年，没有去碰哪怕一个方程的整数分解。\n费马大定理根本没有在整数算术里被解开。\n它是两座庞大数学大陆合龙时的副产物，被顺手碾碎了。\n把这 350 年的攻防拆开，会看到现代科学最强悍的一台认知机器。\n跨域对偶桥接。\n前 300 年里，所有人都在同一个孤立维度里死磕。\n欧拉攻克了 3 次方。\n勒让德攻克了 5 次方。\n拉梅攻克了 7 次方。\n1847 年，库默尔引入理想数，把大部分正则素数一网打尽。\n但他随即撞上一道铁壁。\n当指数遇到 37、59、67 这些不正则素数，代数数域的唯一分解性彻底失效。\n在初等数论的死胡同里，正面的路已经被物理性封死。\n转折发生在 1985 年，德国数学家格哈德·弗雷换了一个反直觉的思路。\n他不试图证明方程无解。\n他反过来假设费马大定理是错的，假设存在一组整数解。\n弗雷用这组假想解，拼出一条代数几何里的三次曲线，也就是弗雷曲线。\n1986 年，肯·里贝特给出了严格证明。\n这条由费马反例拼出来的曲线极其特殊，它绝不可能是一个模形式。\n这一击把问题推到了悬崖边。\n在此之前，数学界有两块互不往来的遥远大陆。\n一块是代数几何里的椭圆曲线，研究甜甜圈形状的几何流形。\n另一块是复分析里的模形式，研究具备无限对称性的复变函数。\n1955 年，谷山丰与志村五郎提出了一个大胆猜想：每一个椭圆曲线，底层都对应着一个模形式。\n两套完全不同的数学语言，被认为共享同一套底层密码。\n里贝特的证明把这两件事彻底焊死在一起。\n只要谷山-志村猜想成立，所有半稳定椭圆曲线就必须是模形式。\n那么那条反常的弗雷曲线就绝对不可能存在。\n反例不存在，费马大定理就必然成立。\n整个死结被完整置换成了另一场战役。\n怀尔斯在普林斯顿阁楼里做的，全在攻坚几何与分析之间的连接通道。\n他要把两块大陆之间的跨域大桥，一块砖一块砖焊死。\n1994 年 9 月 19 日，怀尔斯与理查德·泰勒修复了最后的逻辑断裂。\n大桥合龙。\n当两座大陆的底层代码被打通，挂在桥墩下的费马大定理，瞬间坍缩成了一道顺带解决的推论。\n费马当年留下的那段空白，从来不是因为书边太窄。\n17 世纪的工具箱里，根本没有制造这台跨域机器的零件。\n最顽固的死结，往往无法在原地凿穿。\n当你在低维度的迷宫里算尽机关依然无解时，真正的破局点，永远在两个看似毫不相干的体系之间，架起那座翻译一切的大桥。","category":"科技","score":null,"translated_x_url":null,"translated_status_id":null,"published_at":"2026-09-01 14:49:05","created_at":"2026-09-01 14:49:05","url":"https://mubeitech.com/p/mb-20260901-3bd786","markdown_url":"https://mubeitech.com/p/mb-20260901-3bd786/markdown"},{"rank":2,"id":"16740225","account":"mubei","brand":"@mubei","title":"过去37年，人类顶尖数学家把这个进度条往前推了多少？ 0.8个百分点。 这一次，Claude一口气飙了25.6个百分点。…","summary":"过去37年，人类顶尖数学家把这个进度条往前推了多少？ 0.8个百分点。 这一次，Claude一口气飙了25.6个百分点。 算的是什么？ 黎曼猜想。 准确说，这绝不是证明了黎曼猜想。 而是证明“临界线”上非平凡零点的已知比例。 人类在这个问题上卡了几十年，之前的极限停在41.7%。…","body":"过去37年，人类顶尖数学家把这个进度条往前推了多少？\n0.8个百分点。\n这一次，Claude一口气飙了25.6个百分点。\n\n算的是什么？\n黎曼猜想。\n准确说，这绝不是证明了黎曼猜想。\n而是证明“临界线”上非平凡零点的已知比例。\n人类在这个问题上卡了几十年，之前的极限停在41.7%。\n现在，AI直接把比例拉到了67.25%，跨过了三分之二大关。\n\n这是自2013年张益唐证明有界素数间距以来，解析数论界最大的地震。\n\nClaude是怎么做到的？\n它不是算力大飞砖，而是完全换了一条路。\n从1974年到2020年，数学界一直在死磕同一种旧方法。\n46年里像挤牙膏一样抠出了6.9%的增量，然后彻底摸到了天花板。\nClaude拿出了第二种方法。\n它用线性代数替换了1973年一个论证里的假设条件，硬是把一个有条件结论变成了无条件定理。\n这套证明，已经通过了Lean 4系统的机器严格验证。\n\n但这不代表黎曼猜想被终结。\n这套新方法自带物理极限，最高只能推到68%左右。\n想啃下最后三分之一的硬骨头，还要等第三个颠覆性的新点子。","category":"其它","score":null,"translated_x_url":"https://x.com/i/status/2087074866235142417","translated_status_id":"2087074866235142417","published_at":"2026-08-11 05:21:16","created_at":"2026-08-11T07:09:34+02:00","url":"https://mubeitech.com/p/16740225","markdown_url":"https://mubeitech.com/p/16740225/markdown"},{"rank":3,"id":"2081538711133487511","account":"mubei","brand":"@mubei","title":"有个难题挂了358年，逼疯了无数聪明人。 提出它的人是个法国律师，叫费马。 1637年，他在书页空白处随手写了一句话。…","summary":"有个难题挂了358年，逼疯了无数聪明人。 提出它的人是个法国律师，叫费马。 1637年，他在书页空白处随手写了一句话。 他说自己发现了一种极其美妙的证法，可惜书页空白太小，写不下。 就这一句话，成了全人类三个多世纪的梦魇。 谁来填这个坑？ 1986年，普林斯顿大学的数学教授安德鲁…","body":"有个难题挂了358年，逼疯了无数聪明人。\n提出它的人是个法国律师，叫费马。\n1637年，他在书页空白处随手写了一句话。\n他说自己发现了一种极其美妙的证法，可惜书页空白太小，写不下。\n就这一句话，成了全人类三个多世纪的梦魇。\n\n谁来填这个坑？\n1986年，普林斯顿大学的数学教授安德鲁·怀尔斯决定接下这单。\n但他做了一个在这个圈子里极其反常的决定：绝对保密。\n为什么？\n因为这题名气太大了。\n只要走漏一点风声，就会招来无数的看客和看热闹的人。\n那些喧嚣、噪音和无休止的追问，会直接毁掉解决这个问题所需的极端专注。\n有些工作，不能靠热闹推进，只能靠一个人死死地守住。\n\n整整七年，他把自己关在阁楼里。\n除了一起生活的妻子，全世界没人知道他在干嘛。\n为了不引人怀疑，他在学校开了一门名字极其枯燥的课。\n他把自己的推导过程拆碎了、伪装好，藏在讲义里。\n连每天一起喝咖啡的同事都没察觉，甚至有人私下嘀咕他是不是江郎才尽了。\n\n但这也不是一个完全孤立无援的天才神话。\n这七年里，他站在了无数同行的肩膀上，把大半个20世纪的顶尖数学成果生生拼接到了一起。\n在1993年第一次公布却发现致命漏洞后，他几近崩溃。\n最后关头，他找来从前的学生一起闭关，死磕了整整一年查漏补缺。\n\n1994年9月的一个星期一早晨。\n他坐在书桌前，盯着纸面看了20分钟。\n那一刻，困扰人类358年的魔咒终于终结了。\n\n费马当年那个“绝妙的证明”到底是什么？\n没人知道。\n因为怀尔斯最终交出的答卷，足足有200页。\n那点空白，确实写不下。","category":"其它","score":null,"translated_x_url":"https://x.com/i/status/2081628134063903182","translated_status_id":"2081628134063903182","published_at":"2026-07-27 06:12:48","created_at":"2026-07-27T08:01:17+02:00","url":"https://mubeitech.com/p/2081538711133487511","markdown_url":"https://mubeitech.com/p/2081538711133487511/markdown"},{"rank":4,"id":"2038269993394356589","account":"mubei","brand":"@mubei","title":"86岁的计算机算法泰斗高德纳刚刚填平了他自己挖的坑。 复杂的哈密顿分解问题终于迎来了全解。 破局者是两个互相交接工作的A…","summary":"86岁的计算机算法泰斗高德纳刚刚填平了他自己挖的坑。 复杂的哈密顿分解问题终于迎来了全解。 破局者是两个互相交接工作的AI模型。 解题过程就是一场高强度的左右互搏。 研究员把 Claude 4.6 和 GPT-5.4 扔进同一个任务流。 Claude 负责疯狂搜索寻找潜在路径。…","body":"86岁的计算机算法泰斗高德纳刚刚填平了他自己挖的坑。\n复杂的哈密顿分解问题终于迎来了全解。\n破局者是两个互相交接工作的AI模型。\n\n解题过程就是一场高强度的左右互搏。\n研究员把 Claude 4.6 和 GPT-5.4 扔进同一个任务流。\nClaude 负责疯狂搜索寻找潜在路径。\nGPT 负责严谨验证并生成代码逻辑。\n奇数与偶数的终极分解方案被机器硬生生凿穿。\n\nGPT-5.4 Pro 的最终交付动作极其干脆。\n它直接甩出了一篇14页的完整数学论文。\n排版格式完全对标顶级学术规范。\n推导证明连 Lean 社区的专家都挑不出毛病。\n高德纳看后承认这份作业毫无破绽。\n\n旧时代的科研是算力不够只好大脑来凑。\n现在的顶尖学者直接转行当了学术包工头。\n他们只负责圈定那块最难啃的骨头在哪。\n枯燥的试错黑洞全留给机器去填补。\n\n这位传奇大佬在短文末尾只留了一句感慨。\n我们确实生活在极其有趣的时代。","category":"其它","score":100,"translated_x_url":"https://x.com/i/status/2038388810157826467","translated_status_id":"2038388810157826467","published_at":"2026-03-29 22:38:20","created_at":"2026-03-30T00:36:33.342541","url":"https://mubeitech.com/p/2038269993394356589","markdown_url":"https://mubeitech.com/p/2038269993394356589/markdown"},{"rank":5,"id":"2081379723834184049","account":"mubei","brand":"@mubei","title":"全球的AI实验室烧掉几百亿美元，到底在追什么？ 不只是算力。 他们都在死磕一个老问题：怎么把大自然压缩成机器能算的东西。…","summary":"全球的AI实验室烧掉几百亿美元，到底在追什么？ 不只是算力。 他们都在死磕一个老问题：怎么把大自然压缩成机器能算的东西。 1964年，物理学家理查德·费曼拿起一根粉笔，把这个根本困境讲透了。 他当年没谈AI，但今天大模型想构建“世界模型”的死穴，全在里面。 来，我们试着用大白话，…","body":"全球的AI实验室烧掉几百亿美元，到底在追什么？\n不只是算力。\n他们都在死磕一个老问题：怎么把大自然压缩成机器能算的东西。\n\n1964年，物理学家理查德·费曼拿起一根粉笔，把这个根本困境讲透了。\n他当年没谈AI，但今天大模型想构建“世界模型”的死穴，全在里面。\n\n来，我们试着用大白话，建一个不用复杂数学的引力模型。\n假设宇宙里充满了看不见的微粒，从四面八方撞击地球。\n因为太阳挡在中间，从太阳方向撞过来的微粒变少了。\n地球另一边的微粒，就会把地球往太阳的方向推。\n完美。\n把复杂的引力公式全绕过去了，普通人一秒就能听懂。\n\n但这套模型一跑起来，立刻崩溃。\n为什么？\n因为地球在轨道上飞。\n想象你在大雨里狂奔，是不是迎面砸在脸上的雨水，永远比落后脑勺的雨水多？\n微粒也一样。\n地球往前飞，迎面撞上的微粒就会多于背后的微粒。\n这会产生一个极其强烈的侧向阻力。\n如果这套简单的理论成立，地球早就停转了，根本撑不过它绕着太阳转过的这三四十亿年。\n\n这就是费曼的暴击：任何一套你想出来的模型，都必须能承受所有后果的推演。\n你可以为了好懂把规则简化，但它最后一定会跑出一个虚假的现实。\n\n今天搞大模型仿真的公司，面对的是同一个地狱。\n想让AI理解物理世界？想预测未来？\n大自然有一个极其难伺候的“毛病”：它的法则，只用一种方式给出答案，那就是极其复杂深奥的数学。\n数学不仅仅是一门语言。\n数学是语言加上逻辑，是人类唯一能把大自然的无数种表象缝合在一起，推演一万步还不穿帮的工具。\n\n想用单纯的自然语言或是简单的经验法则去重构世界？\n大自然连商量的余地都不会给。\n\n这才是今天AI大逃杀的底色。\n巨头们砸下几百亿，不单是在买显卡。\n他们是在替机器补交那笔最昂贵、也最不可能绕开的数学翻译费。","category":"其它","score":null,"translated_x_url":"https://x.com/i/status/2081554689540145377","translated_status_id":"2081554689540145377","published_at":"2026-07-26 19:36:18","created_at":"2026-07-26T21:28:03+02:00","url":"https://mubeitech.com/p/2081379723834184049","markdown_url":"https://mubeitech.com/p/2081379723834184049/markdown"}]}