claude
Anthropic says Claude produced a complete Lean proof of Fermat's Last Theorem News
Anthropic says Claude worked largely autonomously for 11 days to produce a complete machine-checked Lean 4 proof of Fermat's Last Theorem, extending a long-running human formalization effort rather than independently rediscovering Wiles's mathematics.
Anthropic's cheaper model is not cheaper - its cache is News
Claude Fable 5.1 kept the same $10 and $50 per-million sticker price as Fable 5, but cache reads dropped to a quarter of the old rate, which is why one developer's 22,022 API calls got about 31% cheaper per prompt while using 31% more tokens.
Claude designed protein binders that worked about half the time News
Anthropic gave Claude Mythos 5.1 open-source protein design tools and sent its output to outside labs, where nearly 50 percent of its designs across 12 targets bound successfully -- against the 10 to 15 percent hit rate typical of the field.
Anthropic shipped one model under two names and two safety settings News
Anthropic released Claude Fable 5.1 and Claude Mythos 5.1 on September 1, 2026 -- the same underlying model shipped twice, with the only difference being how tightly its cybersecurity and biology safeguards are wound.
A 65,000-line Go-to-Rust rewrite cost $400 by translating through a data model first News
Developer Iurii Krasnoshchok published an account on September 1, 2026 of rewriting a 65,000-line Go codebase into Rust for about $400 using Claude Fable, by having the model extract the program's structure into graphs and state machines first and regenerate code from that representation rather than translating file by file.
Claude helped set two elliptic-curve rank records in four days News
A public leaderboard run by an NSF mathematics institute recorded new rank records for elliptic curves on August 20 and August 23, both credited to Claude working with mathematicians Levent Alpoge and Ava Howell.
Anthropic and UST put Claude Code to work validating computer chips News
Anthropic and IT services firm UST announced a 'Physical AI' alliance using Claude Code to read chip schematics and pinouts and auto-generate regression tests on UST's iDEC platform, which the companies say cuts hardware validation cycle times by 50 to 70 percent.
Anthropic launches Claude Science, an AI workbench built for biologists News
Anthropic released Claude Science, a customizable research workbench that wires Claude into more than 60 scientific databases and tools like PubMed, Jupyter, and R, and is giving qualifying researchers up to $2,000 in compute.
Claude Sonnet 5 is cheaper per word but can cost more per finished job News
Anthropic's new mid-tier model is close to its flagship on hard agent work, yet independent testing shows it can spend more per completed task because it takes more steps.
Anthropic Gives Its AI Agents Their Own Logins, Not Yours News
As AI agents start working in teams alongside people, the old 'the bot acts as you' model breaks down. Anthropic's answer: give each agent its own scoped account in every system it touches.
A Coding AI Ran Through Uber's Yearly Budget in Four Months News
Uber gave Claude Code to about 5,000 engineers, who loved it. By April the company had burned through its entire 2026 AI budget, exposing how badly old software pricing fits new agent tools.
The AI That Now Writes Most of Its Maker's Code News
Anthropic says more than 80 percent of the code it ships is now written by its own model, Claude, and the more interesting numbers are about judgment.
Claude Fable 5.1 Tool
Anthropic's new generally available model for long-running agentic coding and knowledge work, live on the Claude API as claude-fable-5-1 and on AWS, Google Cloud and Azure. Cache reads dropped 75 percent to $0.25 per million tokens; base rates unchanged at $10 in and $50 out. Now permitted to find software vulnerabilities in source code.