形式验证

2026年6月4日

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