2026年6月4日【AI早读 0604】前沿AI治理与形式验证OpenAI 同日发布公共政策议程与前沿 AI 民主治理蓝图,系统阐述安全治理立场;Axiom Math 展示 Lean 形式验证带来的证明能力飞跃;AWS 则用 SFT + DPO 优化小模型的 Agent 工具调用。AI DailyAI 治理AI 安全形式验证AI Agent