【project: x-monitor】
🤖 AI 信息流摘要 [project: twitter] | 2026-08-02 16:00 BJT
过去 2 小时（约 14:00–16:00）

📊 本批 10 条，AI 相关 6 条

**速览**

- OpenAI Astra 用 Lean 形式化验证攻克十大数学难题，成本仅 $2000
- B300 深圳现货价暴涨至 1200 万人民币，海外成本约 300 万
- Gemini Spark 上线：24/7 后台运行的个人 AI 代理
- Kimi K3 纯 C 实现 CPU 推理，8GB 内存下 33s/token
- AI 被视为地缘政治与供应链重构的引爆点，而非唯一驱动力

**模型动态**

- https://x.com/indigox — OpenAI 下一代模型 Astra 用 Lean 形式化验证，攻克十大数学难题，成本仅 $2000，引发对研究经济学的讨论 → [原文](https://x.com/indigox/status/2083824573603008951)
- https://x.com/m0d8ye — 有人用纯 C 在 CPU 上实现 Kimi K3，8GB 内存下推理速度 33s/token → [原文](https://x.com/m0d8ye/status/2083791678117425563)

**产品发布**

- https://x.com/btcup99 — Gemini 推出 Spark：可 24/7 后台运行、自动处理邮件表格的个人 AI 代理，Google AI Pro 订阅用户已收到推送 → [原文](https://x.com/btcup99/status/2083802836635443489)

**行业动态**

- https://x.com/foxshuo — B300 单机深圳现货价 6 月还是 600 万人民币，现已涨至 1200 万，海外成本约 300 万，溢价全在渠道 → [原文](https://x.com/foxshuo/status/2083814767723237796)
- https://x.com/yiqifacai — AI 只是引爆点，更深层驱动力是地缘政治、供应链区域化与数字基础设施升级，本轮与 1999 年最大区别是订单、收入、资本开支同步上行 → [原文](https://x.com/yiqifacai/status/2083812521086157237)
- https://x.com/chamath — 智能无法形成垄断，看看人类历史就知道 → [原文](https://x.com/chamath/status/2083798655140602000)

**整体情绪**：分化 — 模型能力突破与产品创新令人乐观，但算力现货价格暴涨反映芯片紧缺与供应链焦虑。