#Agent

AutomationBench Verified is out. We went through all 600 public tasks in @Zapier's AutomationBench and checked every verifier. • Agents flagged 323 verifiers as suspicious, human review confirmed 206 real bugs, all 206 are fixed. • We replayed 1,235 Kimi K3 runs on the old and fixed verifiers and 344 of them (27.9%) got a different grade • Where verifiers were too strict, pass rate went from 18.8% to 43.8% • Where they were too lenient, it dropped from 60.2% to 49.7% Audit and dataset links below.

你的下一场会议会有一位记笔记的助手，帮你处理后续跟进。 Meetings 插件会为你记笔记，并根据 ChatGPT 对你的了解以及你们一起完成的工作，在 ChatGPT Space 中保存个性化的摘要和后续步骤。 你可以将笔记设为私密，也可以与团队共享，然后让 ChatGPT 更新项目计划或起草后续跟进内容。 该功能以测试版形式面向 macOS 上 ChatGPT 桌面应用中的 Pro 和 Business 用户提供。Enterprise 版本即将推出。 下载桌面应用，然后在插件目录中搜索“Meetings”。 https://chatgpt.com/download/

Introducing AgentID by @agentmail, "Sign in with Google" for AI Agents Millions of agents already use AgentMail. AgentID lets them sign in to your app. Integrate with the prompt below, reply with a screenshot, and we'll give you 3 months free of any AgentMail plan.

I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached. TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt. I don't know either language well, but Claude is excellent at both. This approach is super useful for formally modeling your code and finding bugs that a human probably wouldn't have spotted. Is formal verification the future of coding (or at least, bug finding)?

Agent Browsers are live on Gumloop today so your agents can reach the work that doesn't have an MCP or API > Secure credential storage & 1Password integration > Session replays to see your agents work > Stealth, proxied sessions All completely model agnostic Try Browser today.

认识一下 Mistral Large 4，又名 Le Chonk。 • 1T 参数，原生多模态。49B 激活。 在综合基准测试中，它是来自美国或欧洲的最佳开放权重模型。 • 在关键工作负载上达到最先进水平，包括网络防御、制造业和金融，并且在视觉定位方面超越了闭源前沿模型。 • 端到端在欧洲打造，并可通过我们自己的 Mistral Cloud 基础设施从欧洲部署。 • 今天即可通过 API 向所有人开放。正与网络安全合作伙伴私下合作。 开放权重版本将于十月底发布。

Day 1/ We have optimized the default speed to be ~50% faster across GPT-6 Astra and GPT-6.1 Sol through the subscription across all our products and partners using Sign in With ChatGPT (including OpenCode, Pi, Amp, Devin, ...). No changes needed on your end and this should be felt within the next two hours.

Power users are driving consumer AI market growth. The top 1% of US consumer AI payers average $903 a month, while flat plans hold the median at $25. One top-1% payer spends as much as roughly 59 bottom-half payers, on average. Median spend has barely moved, while average spend in the top 1% climbed from $504 to $903 a month between January 2025 and August 2026. Model labs are better placed than apps built on their models to capture consumer AI's top 1% of spenders. Those users average $903 a month, up from $504, and most of it buys model usage. A lab pays only its serving cost for that usage, while an app pays API prices. Anthropic earlier said one $200 Max subscriber ran up tens of thousands of dollars in usage, a bill no API-paying app could absorb. Apps that want this tier have to own more of the model, as Cursor began doing with its Composer coding model.