Cognition shipped Code Scans (Sept 16): type /scan in Devin, state an outcome (dead code, SEO, compile time), and parallel agents investigate the repo then open reviewable PRs. Early testers at Philips reported ~96% PR merge rate and 700+ engineering hours saved.
Dan Abramov (Sept 18) describes spending about a month and roughly 40B tokens across Claude and ChatGPT/Codex multi agent labs to produce a Lean checked proof of Conway’s 1976 omnific integer refinement conjecture. It has not been independently verified by mathematicians yet; he invites refutations…
GitHub’s Sept 17 changelog adds agentic CLI fields to Copilot usage metrics: top five and distinct counts for skills, custom agents, MCP servers, slash commands, and plugins in enterprise/org reports. Customer defined names stay private (grouped as other/custom); MCP counts connection attempts, not per tool calls…
Anthropic confirmed to Reuters (Sept 18) that it runs a San Francisco Bay Area wet lab for physical biology work, aiming for Claude to direct robotic experiments with human oversight. Life sciences head Eric Kauderer Abrams said it will stop short of clinical trials for now to avoid competing with drugmakers…
OpenAI Codex 0.155.0 (Sept 17) adds experimental /voice conversations with live transcripts (via /experimental ), Touch ID verification for MCP requests on supported Macs, live reasoning summaries in the TUI status row, and configurable app server daemon update schedules…
Circle's Arc launched Arc Studio (Sept 17): an AI coding agent that turns natural language prompts into full stack onchain apps—frontend, backend, and smart contracts—with native Circle stack (CCTP, wallets, Gateway) and protocol hooks for Aave, Morpho, and Uniswap. It runs on the web or as a subagent in Claude Code, Codex, and Cursor across nine chains; Studio does not deploy, sign, or fund mainnet transactions for you…
Spotted something we missed? Start a thread.