📡 RSS 内容聚合摘要

生成时间:2026-09-05 18:20 (Asia/Shanghai) · 新增 1 条 · 共 5 条最新 AI/Agent 相关资讯
Simon Willison's WeblogNEW

GPT-6 Astra 鹈鹕骑行对比网格:推理级别与成本分析

Simon Willison 获得 GPT-6 Astra 访问权限后,用不同推理级别生成 SVG 鹈鹕骑行自行车图案进行对比。结果显示 Astra 最低级别生成的图案就已超越 GPT-5.6 Sol 所有级别,且 token 消耗更低,成本约为 Sol 的两倍但性价比显著更高。

OpenClaw GitHub

OpenClaw 2026.9.1 发布

OpenClaw 发布 2026.9.1 版本,带来聊天内 Mermaid 图表渲染、快速安装引导、个人技能库、更健壮的更新回滚机制,以及 Gateway 启动恢复和稳定性改进。新增 Codex 持久审批、Android 端 UI 对齐 Control UI,并支持 Anthropic Fable 5.1 和 GPT-5.6 Ultra 等新模型。

Anthropic Research

Claude 完成费马大定理的计算机验证证明

Anthropic 研究员使用 Claude 在 11 天内自主完成了费马大定理的端到端计算机验证证明,产出 1300 万行 Lean 代码并证明 29,500 个中间定理。这是首个完整的机器验证 FLT 证明,标志着 AI 在数学形式化验证领域的重要突破。

LangChain Blog

MCP in LangChain:无状态协议、Elicitation 及更多

LangChain 将 MCP 支持迁移至 langchain.mcp,基于 FastMCP 实现 2026-07-28 规范,elicitation 作为 LangGraph 中断处理,工具列表已缓存。标志着 MCP 协议在主流 Agent 框架中的深度集成。

AI News

M&T Bank 扩大企业 AI 部署至 15,000 员工

美国 M&T Bank 在完成数年技术改造后,将 AI copilot 部署至超 15,000 名员工,覆盖客服通话分析、报告起草、代码生成和风险预警。银行同时探索代理式 AI 在网络安全和欺诈检测领域的应用。