5月24日 | 八十年的数学猜想，被 AI 用一个反例推翻了

本期内容今期五篇覆盖了 AI 能力爆发的几个不同切面：数学推理、安全防御、企业工具成本，以及一个关于写作与思考的根本性问题。从 OpenAI 模型推翻八十年几何猜想，到 Glasswing 项目一个月找出一万个高危漏洞，再到微软因 token 账单砍掉 Claude Code 授权，这些事件拼在一起指向同一个现实：AI 的速度已经超过了我们的很多预设。听完这期，你会对"AI 在加速，而我们在哪里"这个问题有更具体的感知。本期要点- OpenAI 模型找到反例，推翻了 Paul Erdős 1946 年提出的单位距离问题上界猜想，AI 在数学上的角色更像"有创造力的同事"而不是暴力穷举机器- OpenAI 开出年薪四十四万五千美元招募研究员，要求"有品味、有战略眼光"，岗位核心是研究 AI 自我改进带来的失控风险- 微软砍掉内部 Claude Code 企业授权，原因是 token 按量计费让预算在几个月内耗尽，企业财务体系还没适应 AI 的计费逻辑- Anthropic 发布 Project Glasswing 首次进度更新，联合十几家科技公司用 AI 扫描关键基础软件，一个月内发现超过一万个高危漏洞，瓶颈已从"发现"转移到"修补"- Farnam Street 指出写作在 AI 时代的不可替代性：把写作外包出去，同时也外包了"发现自己不理解什么"的过程参考资料An OpenAI model has disproved a central conjecture in discrete geometry — https://openai.com/index/model-disproves-discrete-geometry-conjecture/OpenAI is hiring a $445,000 researcher. Requirements? Be 'tasteful and strategic.' — https://www.businessinsider.com/openai-hiring-445000-researcher-tasteful-strategicMicrosoft starts canceling Claude Code licenses — https://www.theverge.com/microsoft-canceling-claude-code-licensesProject Glasswing: An Initial Update — https://www.anthropic.com/glasswingThe Surprising Reason Writing Remains Essential in an AI-Driven World — https://fs.blog/writing-essential-ai-world/---BearTalk 狗熊有话说播客，始于 2012 年。订阅地址：https://beartalking.com/page/podcast