形式化验证

Claude 为 123 个开源库写出不崩溃证明；四个智能体标准项目并入 AAIF；Kimi K3.1 Pro 发布，OpenAI 决策模型 API 全量开放。