5月27日 | AI 推翻了 80 年数学猜想，这意味着什么

本期内容今天五件事，有一条线串在一起：AI 正在从单点工具变成完整系统。OpenAI 的模型推翻了一个被顶级数学家默认正确近八十年的猜想，这不是算得快，而是找到了人类没想到的构造方式。与此同时，税务代理开始在生产环境里自我改进，Mistral 收购物理 AI 公司押注工业深度，代码验证层和模型路由层也开始作为独立产品出现在工具链里。听完这期，你会对"AI 辅助工作"这件事有一个更新的边界感。本期要点- OpenAI 模型找到反例构造，推翻了 1946 年提出、近 80 年未被证伪的平面单位距离猜想上界，普林斯顿研究员验证后未发现错误- OpenAI 与 Thrive Holdings 合作，让税务 AI 系统把生产环境里的失败案例直接转化为 Codex 驱动的自我改进信号，无需工程师介入- Mistral 收购物理 AI 公司 Emmi，目标是让模型理解工程仿真和材料模拟等物理约束，押注工业 AI 基础设施- CircleCI 推出 Chunk Sidecars，在 AI 生成代码进入 CI 流水线之前先做一轮轻量验证，为大规模代码生成提供质量门禁- Coworker AI 将上下文感知模型路由产品化，根据任务复杂度自动分发给不同模型，帮助团队在多模型订阅下压低 AI 使用成本参考资料Building Self-Improving Tax Agents with Codex — https://openai.com/index/building-self-improving-tax-agents-with-codex/An OpenAI Model Has Disproved a Central Conjecture in Discrete Geometry — https://openai.com/index/model-disproves-discrete-geometry-conjecture/Emmi Joins Mistral to Accelerate the AI-Native Industry — https://mistral.ai/news/accelerate-ai-native-industry---BearTalk 狗熊有话说播客，始于 2012 年。订阅地址：https://beartalking.com/page/podcast