5月25日 | AI 推翻了困扰数学家八十年的猜想

本期内容AI 正在进入一个新阶段：它不再只是工具，开始主导推理过程。这一期从一个八十年数学难题被 AI 推翻说起，延伸到开源模型的快速追赶、Google 搜索逻辑的底层重构、廉价能力时代判断力的新价值，以及一个让 AI 上下文层自动更新自己的新产品。听完这五件事，你会对"AI 能做什么"和"人的优势在哪里"有更清晰的校准。本期要点- OpenAI 模型构造出具体反例，推翻了埃尔德什 1946 年提出的单位距离猜想，AI 首次在数学研究中扮演主导推理角色而非辅助工具- Gemma 4、DeepSeek V4、Kimi K2.6 等十余个开源模型密集发布，美中最强开源模型的能力差距正在肉眼可见地收窄- Google 二十五年来首次重设搜索框逻辑，从"给你链接"变成"直接告诉你"，内容能否被 AI 引用将取代点击率成为新的核心指标- 当 AI 让基础能力变得廉价，信息不对称消失，真正稀缺的变成了判断力，顶尖专业人士与普通从业者的差距反而更加可见- Unabyss 在 Product Hunt 上线，以 MCP-native 为卖点，提供能自动更新的 AI 上下文层，AI 代理正从对话工具演变为持续感知工作环境的系统组件参考资料An OpenAI model has disproved a central conjecture in discrete geometry — https://openai.com/index/model-disproves-discrete-geometry-conjecture/Open model bonanza: Gemma 4, DeepSeek V4, Kimi K2.6, MiMo 2.5, GLM-5.1 & others (Interconnects by Nathan Lambert) — https://www.interconnects.aiGoogle just redesigned the search box for the first time in 25 years — here's why it matters more than you think — https://venturebeat.comCheap Competence, New Frontier: Why AI makes excellent doctors more valuable, not less (Every.to) — https://every.toUnabyss: MCP-native self-updating context layer for your AI — https://www.producthunt.com---BearTalk 狗熊有话说播客，始于 2012 年。订阅地址：https://beartalking.com/page/podcast