260408 期｜AI 内参
今日洞察
今天的信息流呈现「AI 工程化 × 基础科学」双轨并行的特征：一边是 OpenAI Codex 持续迭代、Anthropic 疯狂扩张算力，AI 已深入到工程实践的每个毛细血管；另一边是数学形式化、量子计算安全等基础科学议题密集涌现——当技术加速向前，底层的数学与物理基础反而变得更加关键。建议精读 Codex 团队访谈和 Quanta 数学证明形式化长文。
今日精选
-
《Anthropic 与 Google、Broadcom 扩大合作，剑指数吉瓦级下一代算力》 公开阅读
anthropic 的计算资源构成。avgo 股价如何？
-
《数学证明形式化浪潮：Lean 语言已验证 26 万条定理，但严谨是否过了头？》 订阅专享
AI 与数学证明。Lean 语言。
-
《Codex 团队内部揭秘：不写 spec、设计师比工程师写更多代码的 AI 原生团队》 订阅专享
codex 团队访谈，第一手 agent 实战分享。
-
《xAI Terafab 工厂主题演讲：为地球与太空打造 AI 芯片》 公开阅读
一个概念：terafab。马斯克的芯片制造计划。
-
《史景迁经典巨著〈天安门〉：中国知识分子与革命的百年叙事》 订阅专享
试试推荐一本书。毕竟 阅读器 支持所有阅读媒介。
-
《Designing Agentic Loops：如何设计 AI 编程 Agent 的循环架构》 公开阅读
只为一个概念：agentic loop。
-
《Terence Tao at IMO 2024：AI 如何改变数学研究》 订阅专享
2 年前的文章，和今天入库的数学文章有关。
-
《Anthropic 封杀 48 小时后，OpenClaw 发布最强回应：龙虾首次生成视频》 订阅专享
现在入库这篇文章