今天的 AI 动态聚焦于智能体时代的企业基础设施、AI 生成数学与科学证明的外部核查，以及 Anthropic 计划上市的最新进展。AI 正在从模型能力竞赛进一步走向企业组织、科研验证和资本市场等更广泛的现实场景。

行业动态

OpenAI 请外部专家核查 AI 生成的数学、计算机科学和物理学证明
来源：The Decoder：AI News（RSS）｜今天晚上 20:37｜查看原文

OpenAI 邀请包括诺贝尔奖得主在内的外部专家担任“引导者”，核查 AI 在计算机科学、数学和物理学领域产出的三项证明，并将部分证明翻译成 Lean，让计算机逐步验证。此举显示，AI 科研成果的独立复核正在成为能力落地的关键环节。

Latent Space 解读 Anthropic 提交 S-1：拟以代码 AN 上市纳斯达克
来源：Latent Space（RSS）｜今天下午 15:24｜查看原文

Latent Space 汇总解读了 Anthropic 公开提交的 S-1 文件。公司计划以代码 AN 在纳斯达克上市；其营收从 2023 年的 4100 万美元增至 2026 年上半年的 163 亿美元，2026 年第二季度营收约 116 亿美元，同比增长 1368%，上半年毛利率达到 85%。

技巧与观点

Ben Horowitz 长文解析 Databricks 与智能体时代的公司形态
来源：a16z：News（RSS）｜今天晚上 22:02｜查看原文

a16z 的 Ben Horowitz 认为，Databricks 正逐渐成为智能体时代的公司基础设施。文章提到 Databricks 已达到 70 亿美元收入运行率、同比增长 80%，估值达到 1900 亿美元；这也折射出数据平台、模型能力与智能体工作流正在加速融合。

今日关键词： 智能体基础设施、OpenAI、数学证明、Lean、Anthropic、S-1、Databricks