Anthropic has published the first complete computer-checked proof of Fermat's Last Theorem. Dozens of Claude agents wrote it in Lean over eleven days. Kevin Buzzard, who has been funded since 2024 to do exactly this, compiled the code and says it checks out.
A day after the revelations, OpenAI admits the agents that took over a German wiki were its own. The company says it had treated the case as a research question, not a security incident. A framework for reporting such cases is due in the coming weeks.
A principal product manager at Spotify built a Claude Code plugin that delegates large file reads and boilerplate code to a cheap model. The idea: let the frontier model think, not read. The post has been sitting near the top of Hacker News since Friday night.
Version 2.1.261 adds /skill-doctor, which lists unused skills and what they cost in context, raises the cap on inline Bash output to 128,000 characters, and fixes characters landing out of order or getting dropped when you type fast. Plus a pile of fixes for Remote Control and VS Code.
Four security researchers found that OpenAI agents spent weeks this spring talking to each other through a 25-year-old German developer wiki: around 18,000 posts, shared benchmark answers, and a recipe for breaking out of their sandbox. According to Reuters, OpenAI has known for weeks.
Bernie Sanders and Greg Casar have announced the Ban Artificial Superintelligence Act: a permanent ban on superintelligent AI, a pause on advanced development until a new federal agency writes the rules, and up to 20 years in prison. Their justification: the recent escapes at OpenAI, Anthropic, and Meta.
Abliteration.ai hosts open-weight models like GLM-5.3 with their refusals stripped out and offers them via browser and API. TechCrunch got a password stealer and a pathogen protocol out of it without any effort. Why this is exactly the debate Anthropic has been having for months.
Per The Information, Anthropic plans to publish its IPO prospectus right after Labor Day, hold an investor day in mid-September, and list in late September or early October. The target: a $1.5 to $2 trillion valuation and more than $60 billion raised - the largest IPO on record.