本期内容 AI 刚刚给出了一个困扰数学界近五十年的猜想的证明，数学社区还在审读它；苹果以商业机密被盗为由起诉 OpenAI 前员工，一边合作一边诉讼的关系耐人寻味；一个工程师用几百美元的开源套件，透过墙壁追踪到了屋内的活动位置。今天五件事，讨论的都是我们以为不可能的事，正在变成正在发生的事。 本期要点 - GPT-5.6 Sol Ultra 给出了循环双覆盖猜想的三页证明，若最终确认无误，AI 将首次原创性地推进人类尚未解决的数学边界 - 苹果起诉两名前员工及 OpenAI、IO Products，指控其将芯片或设备端 AI 相关机密带走，苹果与 OpenAI 同时处于合作与对抗状态 - Odin 语言作者 Gingerbill 认为好工具应该在使用中消失，让你把全部注意力放在任务上而不是驾驭工具本身 - Benedict Evans 分析 token 价格战的结构变量：差异化、企业场景成熟度和推理成本传导决定谁有定价权，不是简单的价格下跌 - 开源相控阵射频套件 QuadRF 已能追踪无人机、感知室内人员位置，隐私边界正在被硬件能力重新定义 参考资料 Ways to think about token pricing — https://www.ben-evans.com/benedictevans/2026/7/9/ways-to-think-about-token-pricing Apple sues OpenAI, accuses ex-employees of stealing trade secrets — https://9to5mac.com/2026/07/10/apple-sues-openai-trade-secret-theft/ QuadRF can spot drones and see WiFi through my wall — https://www.jeffgeerling.com/blog/2026/quadrf-can-spot-drones-and-see-wifi-through-my-wall/ Good Tools Are Invisible — https://www.gingerbill.org A Proof of the Cycle Double Cover Conjecture — https://openai.com --- BearTalk 狗熊有话说播客，始于 2012 年。 订阅地址：https://beartalking.com/page/podcast Rss Apple Podcaster →
