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.
Anthropic shipped a beta redesign of Projects in Claude Code for select Pro and Max users: a coordinator chat scopes work and spawns parallel cloud threads—each a full Claude Code session on its own branch—with shared memory and a project library. Threads run in the cloud today; local execution is coming soon…
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…
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…
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…
Spotted something we missed? Start a thread.
