What shipped in agentic AI, curated with a builder's note on each. Every entry is selected, verified against the primary source, and written by Jigar, not auto-generated. The fastest takes go out in the WhatsApp community first; this page is the archive.
Anthropic reports Claude produced the first end-to-end Lean formalization of Fermat’s Last Theorem
Anthropic published a research result in which Claude agents, working largely autonomously for 11 days on the Prove2Me collaborative formalization platform, produced the first complete computer-checked proof of Fermat’s Last Theorem in Lean. The campaign wrote about 13 million lines of Lean, proved tens of thousands of intermediate theorems, used roughly six billion output tokens from a general-purpose research model comparable to Claude Fable 5.1, and was checked against Lean’s standard axioms. This is a multi-agent orchestration and verification story as much as a math story: DAG-guided theorem selection, parallel agents, and machine-checkable outputs. Research and agent-platform teams should study Prove2Me’s coordination pattern for any long-horizon verification workload: /blog/claude-flt-lean-formalization-prove2me-september-2026.
via AnthropicDetails
Tools September 4, 2026
GPT-6 Astra becomes generally available in GitHub Copilot for Pro+, Max, Business, and Enterprise
GitHub added OpenAI’s GPT-6 Astra to Copilot for long-horizon autonomous coding and agentic tasks across VS Code, Visual Studio, JetBrains, Xcode, Eclipse, Copilot CLI, coding agent, github.com, and Mobile. Access is limited to Pro+, Max, Business, and Enterprise, with gradual rollout and Business/Enterprise model-policy controls. Usage is billed at provider list pricing under Copilot usage-based billing. Platform and security owners should treat Copilot Astra as a Critical-cyber-capable lane, keep it admin-gated until egress and approval policies are reviewed, and bench it against Fable 5.1 and Gemini 3.8 Flash already rolling into Copilot: /blog/github-copilot-astra-agent-merge-september-2026 and /blog/gpt-6-astra-critical-cyber-agent-routing-september-2026.
via GitHubDetails
Tools September 4, 2026
GitHub Copilot adds Agent Merge public preview and expands Fable 5.1 and Gemini 3.8 Flash model choice
Copilot’s weekly release notes confirm Claude Fable 5.1 for Pro+/Max/Business/Enterprise and Gemini 3.8 Flash rolling to Pro through Enterprise, while VS Code 1.136 puts Agent Merge in public preview to resolve review feedback, failed checks, and merge conflicts before PR merge. Content exclusions now apply in the Copilot app and CLI for agentic workflows, and the Copilot harness is generally available in JetBrains. Engineering leads should pilot Agent Merge on a non-critical repo first, confirm content-exclusion coverage for secrets, and update the Copilot model policy board so Astra, Fable, and Flash lanes have explicit owners: /blog/github-copilot-astra-agent-merge-september-2026.
via GitHubDetails
Tools September 4, 2026
Claude Code 2.1.261 adds /skill-doctor and raises inline tool-output limits for long agent runs
via AnthropicDetails
OpenAI September 3, 2026
OpenAI releases GPT-6 Astra as its first Critical-cyber Preparedness model for agentic coding and computer use
via OpenAIDetails
Tools September 2, 2026
Google ships Gemini 3.8 Flash for agentic coding at the same introductory price as 3.7 Flash
via GoogleDetails
Architecture September 2, 2026
Google launches Fairwind with Gemini 3.8 Flash Cyber for trusted defender vulnerability and patching agents
via GoogleDetails
Tools September 2, 2026
Meta releases Muse Spark 1.3 for longer-horizon agentic workflows and more efficient coding agents
via MetaDetails
Claude September 1, 2026
Anthropic launches Claude Fable 5.1 and Mythos 5.1 with 75% cheaper cache reads and breaking tool_choice rules
via AnthropicDetails
Claude September 1, 2026
Anthropic announces Enterprise Frontier Safeguards to pair zero data retention with frontier misuse controls
via AnthropicDetails
Open Source August 26, 2026
Z.ai open-sources GLM-5.3-Flash, a 320B-A18B multimodal worker model for coding and agent loops
via Z.aiDetails
Open Source August 24, 2026
Alibaba Qwen opens Qwen3.8-Flash-Next weights as a Qwen4-architecture preview for efficient multimodal agents
via QwenDetails
Live first
Get these updates as they break
The fastest takes land in the WhatsApp community before they reach this archive.