## 今日 TOP 8 选题

### 1. 当 AI 一个月解开 100 个开放数学问题，数学家却发起了抵制
- **切入点**：从 OpenAI 开源 722 份 AI 生成证明手稿、Terence Tao 主持的 AHM 声明抵制切入，讨论“算力展示”与“学术贡献”的边界在哪里——AI 证明要不要被数学界接纳，谁说了算。
- **标签**：AI

### 2. 200 亿美元的口径之争：OpenAI 年化营收罗生门
- **切入点**：FT 曝光年化营收近 500 亿、比外界估算少 200 亿且引发纳指克与英伟达下跌，拆解统计口径差异背后 AI 公司“营收叙事”的水分与市场敏感度。
- **标签**：投资

### 3. 代码一行没读过，编译器已经能跑：ts-rust 与信任的重构
- **切入点**：作者用 LLM 把 TypeScript 编译器整体移植到 Rust 且自称从未读过代码，切入工程范式从“审查每一行”转向“只验证行为”后，软件质量责任归谁的问题。
- **标签**：AI

### 4. 一个人、一套开源工具，攻穿多家韩国银行
- **切入点**：Crowdstrike 披露的 ARTEX 渗透案例说明 AI 攻击工具让“单人 vs 金融机构”的力量对比成立，切入 AI 时代攻防成本的非对称失衡。
- **标签**：AI

### 5. 一半美国人都用过 AI，只有 4.5% 愿意付费
- **切入点**：用 A16Z 报告里“头部 1% 用户月均花 903 美元、贡献近 20% 消费”的幂律数据，讨论 AI 消费的真实渗透深度与“用得很浅”的变现困境。
- **标签**：投资

### 6. 一段 AI 生成的受害者陈词，让法院改了量刑
- **切入点**：亚利桑那州上诉法院裁定 AI 复活受害者的视频“带有不当情感分量”而要求重新量刑，切入“数字复活”进入司法程序后，情感真实性如何界定的伦理难题。
- **标签**：AI

### 7. 想让员工拥抱 AI，就别把它包装成提效工具
- **切入点**：Stanford HAI 研究发现同一款工具以“丰富工作”而非“提高效率”介绍时使用量高 58%，切入 AI 落地的失败往往不是技术问题而是叙事问题。
- **标签**：成长

### 8. 单张 5090 跑实时视频生成：创作者的本地化临界点到了
- **切入点**：ComfyUI 博客把 MiniMax H3 实时视频压缩到 32GB 显存、30 秒视频 23.5 秒出片，切入云端订阅之外“本地跑动前沿模型”对创作者工作流和成本结构的改变。
- **标签**：创作

---

## 今日主推

**主推选题 1：当 AI 一个月解开 100 个开放数学问题，数学家却发起了抵制**

**理由**：这是今天唯一同时具备三重传播要素的选题——①强冲突：OpenAI 高调开源 vs 顶级数学家（Tao 主持的 AHM）公开抵制，天然有观点站队空间，利于评论区互动与转发；②有硬核细节可挖：722 份手稿、372 个成果组、平均每证明 3 小时 Pro 级算力、约 5% 测试通过率，正反两方数据都充足，能写出深度而非站队文；③话题延展性最好：从“什么是证明”的知识论问题一路延展到 AI 成果的学术发表规范、AI for Science 的落地姿势，能与后续同类事件形成系列追踪。对技术向公众号而言，它比产品更新类选题更耐写、比纯资本故事更贴技术读者，且国内尚少有人从数学界内部视角切入，差异化明确。