Claude Fable 破解 40 年数学猜想：反例找到了

每天更新带你读懂科技圈。今日看点Claude Fable 找到 Jacobian 猜想反例全球最大概率计算机 100 万 p-bits 协同Kimi K3 火爆到暂停订阅WAIC 现场 AI 不再卷参数。⭐ 今日精选1. Claude Fable 破解 40 年数学猜想Jacobian 猜想的反例找到了Claude Fable 最近在数学界干了件大事——它找到了Jacobian 猜想的一个反例。Jacobian 猜想是代数几何领域的著名难题1939 年提出以来困扰数学家 86 年。人类始终没证明它是对的也没找到反例。现在Claude Fable 给出了一个具体的反例。说真的这事比我想象中更离谱。Claude Fable 不仅要理解代数几何的深层结构——变量替换、多项式变换、复射影空间——还要从这些概念里主动构造出一个满足 Jacobian 条件但不可逆的映射。这不是AI 做题。这是 AI 在数学推理上的一个质变点。[1] Claude Fable produced a counterexample to the Jacobian Conjecture: https://xcancel.com/alpoge/status/20790283409551975662. 全球最大概率计算机100 万 p-bits每秒翻转 1 万亿次UC Santa Barbara 团队刚在 ArXiv 上公布了史上最大的概率计算机。100 万个 p-bit跑在 18 块 FPGA 上每秒翻转超过 1 万亿次。p-bit 是个什么玩意它既不是经典 bit0 或 1也不是量子 bit叠加态。它是以可调概率在 0 和 1 之间不停翻转的概率开关。单个 p-bit 看起来很废物但当成千上万个 p-bit 协同工作时就能高效解决最短路径、调度优化这类随机问题。演进速度惊人2019 年只有 8 个 p-bit2023 年 7,200 个现在 100 万个。更关键的是他们发现了无需全局同步的芯片间通信规则——概率计算机可以像普通计算机一样横向扩展理论上能造出任意大的机器。[2] Biggest Probabilistic Computer Turns Noise Into Answers: https://spectrum.ieee.org/biggest-probabilistic-computer3. Kimi K3 火爆到暂停新订阅月之暗面官方宣布因 Kimi K3 用户增长太快暂停新用户订阅。这事有点意思。Kimi K3 是月之暗面的最新旗舰在国产大模型里算第一梯队。暂停订阅说明它的增长速度已经到了扛不住的地步。对国产大模型来说这是个积极信号——用户真的在用。[3] Moonshot AI suspends new subscriptions due to Kimi K3 demand: https://twitter.com/kimi_moonshot/status/2078855608565207130 AI 前沿AI 建议让人更自信但也让人更错最新研究发现了一个有意思的现象当人们依赖 AI 建议做决策时自信心明显上升但实际准确率反而下降。也就是说AI 让你觉得自己更懂了但你可能实际上更错了。这个自信陷阱被低估了。想象一下一个医生相信了 AI 的误诊建议然后非常自信地开错了药。[4] AI advice made people less accurate but more confident: https://thenextweb.com/news/ai-advice-suppresses-critical-thinking-wrong-answers-studyChristopher Nolan 称 AI 是特洛伊木马《奥德赛》导演克里斯托弗·诺兰最近说 AI 是明显的特洛伊木马。诺兰一直是个技术乐观主义者。他大力推行虚拟制片、数字特效是好莱坞里对新技术最友好的人之一。所以当他开始说 AI 是特洛伊木马时我有点在意。这意味着这件事可能比大多数人以为的更严重。[5] Christopher Nolan calls AI an obvious Trojan horse: https://techcrunch.com/2026/07/19/odyssey-director-christopher-nolan-calls-ai-an-obvious-trojan-horse/️ 开发与工程最后一个 MPEG-4 专利到期最后一个 MPEG-4 视频编码专利正式到期。所有 MPEG-4 技术现在完全免费没有专利费了。对开源视频编解码、嵌入式设备开发者来说这是个好消息。不用再担心专利诉讼了。[6] The Last MPEG-4 Visual Patent Has Expired: https://www.phoronix.com/news/Last-MPEG-4-Patent-ExpiredMinecraft Java 版切换到 SDL3Minecraft Java 版正式迁移到SDL3。SDL3 是 Simple DirectMedia Layer 的第三版提供更现代的多平台支持和 API。对 Minecraft 这种需要跨平台运行的游戏来说这是底层基础设施的一次重要更新。[7] Minecraft: Java Edition now uses SDL3: https://www.minecraft.net/en-us/article/minecraft-26-3-snapshot-4用 $1,600 替换了 $120,000 的保龄球中心系统一个 SRE 用 ESP32 微控制器重建了整个保龄球中心的计分和控制系统。成本从$120,000 降到 $1,600。这不是简单的 DIY。涉及传感器融合、实时数据处理、系统可靠性设计——跟工业控制系统的设计思路差不多。这个人的项目博客值得读一遍。[8] I replaced a $120k bowling center system with $1,600 in ESP32s: https://news.ycombinator.com/item?id48968606 产业与行业Jensen Huang 的日本之行黄仁勋离开东京时带走了一系列合作——从芯片到汽车到机器人。日本科技全产业链都在接招。NVIDIA 在日本的布局速度比大多数人以为的快。[9] What to watch for after Jensen Huang’s Japan visit: https://techcrunch.com/2026/07/19/what-to-watch-for-after-jensen-huangs-japan-visit/WAIC 2026不再卷参数本届世界人工智能大会的主场话题已经从参数规模转向产业落地。具身智能、智能体、空间智能成为焦点。有个细节有意思初创公司的展位被安排在主展馆地下一层得找一道亮黄色的门才能进去。但真正关注产业价值的人都在那儿。[10] 谁还在卷参数WAIC2026全是能干活的实体AIhttps://36kr.com/p/3903383663478403?frss腾讯云 ADP 4.0 海外版发布腾讯云发布智能体开发平台ADP 4.0 海外版定位为企业级 AgentOps 平台。覆盖智能体构建、分发、治理全生命周期。[11] 腾讯云ADP 4.0海外版发布https://36kr.com/p/3901396207584902?frss 结语今天最值得关注的两个信号AI 的数学能力在质变——Claude Fable 解 Jacobian 猜想不是噱头。它意味着大模型开始进入纯数学推理的深水区AI 产业焦点在转移——从模型多大变成能干多少活。WAIC、Kimi K3、概率计算机都在指向同一个方向AI 正在从实验室技术变成产业基础设施。这不是趋势预测是正在发生的事。觉得有用点个在看让更多人看到 参考资料[1] Claude Fable produced a counterexample to the Jacobian Conjecture: https://xcancel.com/alpoge/status/2079028340955197566[2] Biggest Probabilistic Computer Turns Noise Into Answers: https://spectrum.ieee.org/biggest-probabilistic-computer[3] Moonshot AI suspends new subscriptions due to Kimi K3 demand: https://twitter.com/kimi_moonshot/status/2078855608565207130[4] AI advice made people less accurate but more confident: https://thenextweb.com/news/ai-advice-suppresses-critical-thinking-wrong-answers-study[5] Christopher Nolan calls AI an obvious Trojan horse: https://techcrunch.com/2026/07/19/odyssey-director-christopher-nolan-calls-ai-an-obvious-trojan-horse/[6] The Last MPEG-4 Visual Patent Has Expired: https://www.phoronix.com/news/Last-MPEG-4-Patent-Expired[7] Minecraft: Java Edition now uses SDL3: https://www.minecraft.net/en-us/article/minecraft-26-3-snapshot-4[8] I replaced a $120k bowling center system with $1,600 in ESP32s: https://news.ycombinator.com/item?id48968606[9] What to watch for after Jensen Huang’s Japan visit: https://techcrunch.com/2026/07/19/what-to-watch-for-after-jensen-huangs-japan-visit/[10] 谁还在卷参数WAIC2026全是能干活的实体AIhttps://36kr.com/p/3903383663478403?frss[11] 腾讯云ADP 4.0海外版发布https://36kr.com/p/3901396207584902?frss