{"source":{"id":"2077046588212699211","title":"20分钟，没纸，没笔，一个荷兰数学家在阿姆斯特丹咖啡馆里，把现代导航最核心的问题想明白了。 他叫艾兹赫尔·戴克斯特拉。…","url":"https://mubeitech.com/p/2077046588212699211"},"method":"semantic-similarity","count":6,"items":[{"rank":1,"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":2,"id":"2065082804028006885","account":"warroom","brand":"@warroom","title":"今天所有芯片和智能手机的底层逻辑，来自1937年一个21岁学生在图书馆里打发时间的涂鸦。 他叫克劳德·香农。 那一年，他…","summary":"今天所有芯片和智能手机的底层逻辑，来自1937年一个21岁学生在图书馆里打发时间的涂鸦。 他叫克劳德·香农。 那一年，他在麻省理工学院读硕士，把十九世纪的哲学逻辑套在了电话交换机上。 当时的工业界设计电路，全靠工程师用铜线和继电器搞穷举法。 图纸画得像蜘蛛网一样乱，全凭经验和力气…","body":"今天所有芯片和智能手机的底层逻辑，来自1937年一个21岁学生在图书馆里打发时间的涂鸦。\n\n他叫克劳德·香农。\n\n那一年，他在麻省理工学院读硕士，把十九世纪的哲学逻辑套在了电话交换机上。\n\n当时的工业界设计电路，全靠工程师用铜线和继电器搞穷举法。\n\n图纸画得像蜘蛛网一样乱，全凭经验和力气。\n\n香农在论文里算清楚了一件事。\n\n开关只有两种状态：开，或者关。\n\n这刚好对应布尔代数里的真与假，也就是 1 和 0。\n\n只要开关数量够多，电路就能代替人脑进行逻辑计算。\n\n这个发现，相当于给冰冷的金属机器装上了灵魂。\n\n但当时掌握资源的行业巨头们根本不信。\n\n他们觉得这不过是学术界的游戏，对实际拉电线毫无用处。\n\n行业权威们继续在铜线堆里摸爬滚打。\n\n香农没有跟他们争论，转头去研究了更抽象的领域。\n\n他把世界上所有的文字、声音、画面，全部压缩成了同一个单位。\n\n这就是比特。\n\n几十年后，当全球半导体产业彻底爆发，人们回头翻看教材，发现路标早在1937年就被一个21岁的年轻人插好了。\n\n权威和经验保护了旧时代的行业惯性，但挡不住逻辑本身的力量。","category":"其它","score":100,"translated_x_url":"https://x.com/i/status/2065408269166800970","translated_status_id":"2065408269166800970","published_at":"2026-06-12 07:33:56","created_at":"2026-06-12T09:32:16.602830","url":"https://mubeitech.com/p/2065082804028006885","markdown_url":"https://mubeitech.com/p/2065082804028006885/markdown"},{"rank":3,"id":"16074943","account":"mubei","brand":"@mubei","title":"80 年前，数学狂人 Erdős（保罗·埃尔德什）面对乱成一团、毫无规律的复杂网络，给出了一个答案： 用随机性。 开始吧…","summary":"80 年前，数学狂人 Erdős（保罗·埃尔德什）面对乱成一团、毫无规律的复杂网络，给出了一个答案： 用随机性。 开始吧。 比如，你想证明世界上存在一种拥有特定奇特属性的复杂网络。 按照正常人的思维，得一步步画图、连线、推演，对吧？ 但网络太庞大了，节点成千上万，排列组合是个天文…","body":"80 年前，数学狂人 Erdős（保罗·埃尔德什）面对乱成一团、毫无规律的复杂网络，给出了一个答案：\n用随机性。\n\n开始吧。\n比如，你想证明世界上存在一种拥有特定奇特属性的复杂网络。\n按照正常人的思维，得一步步画图、连线、推演，对吧？\n但网络太庞大了，节点成千上万，排列组合是个天文数字，根本无从下手。\n\nErdős 拍了拍脑袋，说：别费那劲了。\n我们直接假设这个网络是随机连线的。\n然后，我们去算概率。\n只要能证明，在所有随机生成的网络里，拥有那种奇特属性的概率“大于 0”，哪怕只有 0.00001%，那就证明了：这种网络一定存在！\n\n这就是著名的“概率法”（Probabilistic Method）。\n它不帮你去画出具体的图，而是用纯粹的随机 and 概率，直接封死了“不存在”的可能性。\n这省去了繁琐的解题过程，直接在逻辑上搞降维打击。\n\n80 年过去了。\n近期，数学家们对这个经典的“Erdős 方法”完成了一次重磅升级。\n他们没有彻底解决所有的网络难题，那不现实，但他们把这个武器的威力又往前推了一大步。\n\n这次升级最迷人的地方在于，它没有解开某个具体公式，却更新了我们看世界的方法。\n面对这个越来越复杂的现代世界，从互联网、社交网络到人工智能的神经网络，一味追求精确只会陷入死胡同。\n聪明的做法是：先承认系统太乱。\n然后，用随机性，从极致的混乱中抓出那个决定性的结构。\n\n最顶级的智慧，往往就是在承认无序的同时，找到秩序。","category":"其它","score":null,"translated_x_url":"https://x.com/i/status/2071154038138118412","translated_status_id":"2071154038138118412","published_at":"2026-06-28 07:58:26","created_at":"2026-06-28T09:55:50+02:00","url":"https://mubeitech.com/p/16074943","markdown_url":"https://mubeitech.com/p/16074943/markdown"},{"rank":4,"id":"2081746182708105571","account":"mubei","brand":"@mubei","title":"别再上网争论什么 Agent 了。 先找张纸，画个流程图。 一位拿着 220 万美元薪酬包的 Anthropic 工程师…","summary":"别再上网争论什么 Agent 了。 先找张纸，画个流程图。 一位拿着 220 万美元薪酬包的 Anthropic 工程师，直接戳破了一层窗户纸。 网上那些为了技术路线吵得不可开交的人，大多数根本没亲手画过一张图。 他解释了为什么图工程就是能打败循环工程。 因为不管多复杂的任务，拆…","body":"别再上网争论什么 Agent 了。\n先找张纸，画个流程图。\n\n一位拿着 220 万美元薪酬包的 Anthropic 工程师，直接戳破了一层窗户纸。\n网上那些为了技术路线吵得不可开交的人，大多数根本没亲手画过一张图。\n\n他解释了为什么图工程就是能打败循环工程。\n因为不管多复杂的任务，拆到底，就是四种完全不同的工程问题：\n\nChain（链式）：等待。一步接一步，前置条件没完，后面就得等着。\nDiamond（菱形）：并行。把任务切开，几路同时干，最后再汇总。\nRouter（路由）：分流。站大门当交警，遇到什么情况，就派发给什么样的节点。\nCycle（循环）：回环。一遍遍跑，一遍遍查，直到把结果死磕出来。\n\n四个框，解决四种活儿。\n下次再想跟人聊模型落地，先看看这四个框画明白没有。","category":"其它","score":null,"translated_x_url":"https://x.com/i/status/2082051191874134280","translated_status_id":"2082051191874134280","published_at":"2026-07-28 10:04:00","created_at":"2026-07-28T12:01:26+02:00","url":"https://mubeitech.com/p/2081746182708105571","markdown_url":"https://mubeitech.com/p/2081746182708105571/markdown"},{"rank":5,"id":"mb-20260822-c7d0c3","account":"mubei","brand":"","title":"2021 年，西雅图第五大道的单轨铁路立柱测试，曾经是所有特斯拉 FSD 司机的噩梦","summary":"2021 年，西雅图第五大道的单轨铁路立柱测试，曾经是所有特斯拉 FSD 司机的噩梦","body":"2021 年，西雅图第五大道的单轨铁路立柱测试，曾经是所有特斯拉 FSD 司机的噩梦。\n只要开进那段路，系统不是把立柱当成幽灵急刹，就是冷不防朝水泥柱猛拐，逼得测试员手心冒汗、秒级接管。\n到了 2026 年，搭载 FSD V14.3.6 的 Model Y 再次开进贝尔敦街区。\n车子在两排巨大的混凝土立柱之间自如穿插、变道，毫无悬念地完成了右转。\n很多人把它当成一段博主测试的爽快切片，或者算法算力升级的必然结果。\n为什么这几根立柱，当年能把整个自动驾驶行业卡死好几年？\n难道是当年的芯片算力不够快，还是车载传感器装得不够多？\n把算法底层演进的逻辑拆开，会看到一台彻底掀翻旧世界规则的机器。\n空间体素占用网络。\n1962 年西雅图世博会留下的西雅图中心单轨，把十几根沉重的矩形混凝土立柱，直接钉在了第五大道的车道正中间。\n车道标线被立柱切碎，想在路口右转，车辆必须主动在两根立柱的狭窄间隙里斜切过去。\n传统自动驾驶的底层世界观，建立在「语义分类」和「二维包围框」上。\n工程师试图教会算法认识世界：这是汽车，这是行人，那是红绿灯，地面上是车道线。\n只要在画面里圈出一个个带标签的框，再交给几十万行手写的 C++ 规则代码去规划路径。\n遇到西雅图单轨立柱，这套基于规则的系统直接陷入死锁。\n立柱不是车，不是人，也不是常规障碍桶。\n它头顶连着高架轨道，侧面洒下巨大的阴影，还伴随着立柱间错乱的标线。\n语义模型不知道该给它贴什么标签，手写的规则树更不敢擅自允许车辆在实线与巨型水泥柱之间穿行。\n面对规则库里没有定义的极端场景，传统的策略只有两条路：要么在规则冲突中幽灵刹车，要么直接放弃接管。\n2022 年，特斯拉自动驾驶团队负责人 Ashok Elluswamy 公开拿出了占用网络。\n这套架构做了一个彻底的动作：扔掉语义标签。\n它不再追问眼前这个东西到底叫什么名字。\n系统把车辆周围的三维物理空间，切成几百万个微小的体素，也就是立体的三维像素网格。\n神经网络只计算一件事：空间里的哪一个体素被物理实体占用了，哪一个体素是完全可通行的自由空间。\n不管立柱有多诡异，不管是掉落的纸箱、倒伏的树枝，还是 60 年前的老桥墩。\n只要被占用，它就是一道不可逾越的几何实体；只要空间空闲，它就是可以行进的通道。\n随着算法进一步演进到端到端大模型，几十万行手写规则被彻底清空。\n系统直接从海量人类驾驶视频中，学习如何在三维几何空间里规划连续轨迹。\n车子不再向规则库申请特批，像一个老练的人类司机一样，眼见空间开阔，顺着立柱的缝隙自然滑了过去。\n自动驾驶的真正分野，从来不在车顶堆了多少颗传感器，也不在算法库里写了多少万行规则。\n旧路线试图用有限的人类规则与词典，去穷举无限混乱的物理世界。\n新路线撕掉了所有人为编造的标签，让机器直接面对连续的几何空间与物理规律。\n当一套系统不再把精力耗费在给世界贴标签上，学会直接阅读三维空间的物理本质。\n那些曾经困住整个行业的极端边界场景，在几何的重构中自然瓦解了。","category":"科技","score":null,"translated_x_url":null,"translated_status_id":null,"published_at":"2026-08-22 16:08:04","created_at":"2026-08-22 16:08:04","url":"https://mubeitech.com/p/mb-20260822-c7d0c3","markdown_url":"https://mubeitech.com/p/mb-20260822-c7d0c3/markdown"},{"rank":6,"id":"2063903532575752211","account":"mubei","brand":"@mubei","title":"你刷的每一条 TikTok，看的每一部 Netflix，甚至 AWS 和微软云底层的虚拟机，全都在跑同一个人的代码。 他…","summary":"你刷的每一条 TikTok，看的每一部 Netflix，甚至 AWS 和微软云底层的虚拟机，全都在跑同一个人的代码。 他叫 Fabrice Bellard。 没去过硅谷，没建过商业帝国，没有推特账号。 三十年来，他躲在巴黎，安安静静手搓了现代互联网的底层。 看下什么叫真正的\"一个…","body":"你刷的每一条 TikTok，看的每一部 Netflix，甚至 AWS 和微软云底层的虚拟机，全都在跑同一个人的代码。\n\n他叫 Fabrice Bellard。\n没去过硅谷，没建过商业帝国，没有推特账号。\n三十年来，他躲在巴黎，安安静静手搓了现代互联网的底层。\n\n看下什么叫真正的\"一个人就是一支军队\"。\n2000年，28岁的他启动了 FFmpeg。\n做了一件当时没人能做好的事：把所有音视频格式的编解码统一到一个库里。\n现在，YouTube 用它，Netflix 用它，Chrome 用它。\n你手里的每一台手机、家里的每一台智能电视，底层全跑着 FFmpeg。\n只要你这二十年里看过视频，你就用过他的代码。\n\n这足够吃一辈子老本，但他连停都没停。\n2003年，他开始写 QEMU。\n一个人单干把代码撸到了 2005 年的 0.7.1 版本。\n这玩意成了现代虚拟化技术的基石。\n现在，AWS、Google Cloud、微软 Azure 上的千万台虚拟机，全跑在基于 QEMU 的基础架构上。\n\n他的其他项目同样惊人：\n2001年，写了个微型 C 语言编译器（TCC），不到15秒就能从源码编译并启动 Linux 内核。\n2004年，用一台普通台式机，加上自己推导的 Bellard's formula，算出了当时人类历史上最长的圆周率。\n2011年，用纯 JavaScript 写了个模拟器，让大家直接在浏览器里跑 Linux。一堆工程师看了以为是假新闻。\n\n到了大模型时代，人家也不闲着。\n搞了个本地跑 LLM 的服务器（TextSynth Server），还拿语言模型去搞极其变态的文本和短信压缩，硬是打破了传统算法的极限。\n就在 2025 年 12 月，他又弄了个 Micro QuickJS，专给几乎没有内存的微控制器跑的 JS 引擎。\n\n点开他的个人主页（bellard.org）。\n没有 UI，没有字体设计，没有一句吹牛的营销文案。\n就一堆干巴巴的纯文本链接。\n顺带一提，他 2012 年还合伙搞了个电信公司，做 4G/5G 基站软件，稳稳当当当着 CTO。\n\n在这个人人都在包装概念、写两行调包代码就敢吹改变世界的时代。\n这个法国大叔证明了一件事：\n真正的极客，不需要去硅谷，不需要高谈阔论。\n只要一台电脑，没有废话，一直写下去，你就能把整个数字世界扛在肩上。","category":"其它","score":100,"translated_x_url":"https://x.com/i/status/2064303996001452184","translated_status_id":"2064303996001452184","published_at":"2026-06-09 10:33:19","created_at":"2026-06-09T12:29:29.357469","url":"https://mubeitech.com/p/2063903532575752211","markdown_url":"https://mubeitech.com/p/2063903532575752211/markdown"}]}