AI周刊 #099 - OpenAI 发布 GPT-6 Astra 拿下多项 SOTA，Anthropic 用 Lean 4 形式化费马大定理

已收录文章摘要，完整内容可前往原文阅读。

本期看点：OpenAI 发布 GPT-6 Astra，FrontierMath/ARC-AGI/ExploitBench 多项跑满；Anthropic 同日上 Fable 5.1/Mythos 5.1；Google 推 Gemini 3.8 Flash；Anthropic 用 Lean 4 形式化费马大定理，三公理约束 + 跨内核双重校验；OpenClaw 2.0 发布。