本期内容
今期五篇覆盖了 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-strategic
Microsoft starts canceling Claude Code licenses — https://www.theverge.com/microsoft-canceling-claude-code-licenses
Project Glasswing: An Initial Update — https://www.anthropic.com/glasswing
The Surprising Reason Writing Remains Essential in an AI-Driven World — https://fs.blog/writing-essential-ai-world/
---
BearTalk 狗熊有话说播客,始于 2012 年。
订阅地址:https://beartalking.com/page/podcast