5月22日 | 80年数学猜想被AI推翻，解题工具本身才是关键

本期内容从一个被推翻的八十年数学猜想开始，这期节目串联起五个方向：AI在科学发现中扮演的角色正在质变，内容溯源正成为行业基础设施，AI代理接管工作流带来的安全边界问题也在快速浮出水面。你会听到数学、安全、架构、产品四个完全不同的视角，但它们指向同一个核心问题：AI的能力已经超出了我们原有的预期，配套的工具和思维方式正在追赶。本期要点- OpenAI 的模型找到了反例，直接推翻了 1946 年厄尔多斯提出的平面单位距离猜想，这是 AI 首次真正参与数学发现而非辅助计算- OpenAI 推动 C2PA 内容溯源标准落地，AI 生成图片将携带可验证元数据，但标记可被剥离、行业覆盖碎片化是两个核心难题- Jack Clark 以二十年前的隐形篡改病毒为例，提出 AI 代理大量接管工作流后"悄悄改一个数字"式攻击将更难被察觉- Sebastian Raschka 对比逾二十个主流 LLM 架构后发现，七年来 Transformer 骨架几乎未变，真正的演进发生在训练方式和效率优化层面- Product Hunt 热门工具 DCP 为 AI 代理提供加密细粒度权限令牌，折射出代理从"写东西"转向"操作系统"后安全管理的刚性需求参考资料An OpenAI model has disproved a central conjecture in discrete geometry — https://openai.com/index/model-disproves-discrete-geometry-conjecture/Advancing content provenance for a safer, more transparent AI ecosystem — https://openai.com/index/advancing-content-provenance/Import AI 457: AI stuxnet; cursed Muon optimizer; and positive alignment — https://importai.substack.com/p/import-ai-457The Big LLM Architecture Comparison — https://magazine.sebastianraschka.com/p/the-big-llm-architecture-comparisonDCP — Give your AI agents encrypted permission and keys — https://www.producthunt.com/posts/dcp---BearTalk 狗熊有话说播客，始于 2012 年。订阅地址：https://beartalking.com/page/podcast