OpenAI GPT-6 Astra 全面推送并登陆 LiveBench 前五，奥尔特曼就早期混乱致歉
GPT-6 Astra 正式上线 ChatGPT Work 与 API，LiveBench 综合分 78.77 杀入全球前五，奥尔特曼发文确认全力纠偏早期推送不稳定。
Anthropic 宣布使用 Claude 耗时 11 天自主完成费马大定理机器形式化证明
基于 Claude 构建的形式化数学智能体在 Lean 4 中耗时 11 天完整验证安德鲁·怀尔斯 129 页经典证明，推导全由 Lean 内核严格把关。
本期栏目：头条 3 · 研究动态 2 · 工具与产品 3 · Builder 观点 3 · 社区热议 2 · GitHub 趋势 3
阅读本期全文 →朱红为有刊日期，点击直达当期；方框为今天。