Heard on a podcast
Anthropic agents formalize Fermat's Last Theorem proof
Anthropic researchers used specialized agents to generate 13 million lines of Lean code, demonstrating advanced mathematical reasoning and tool-use efficiency.
AI News Flash ·
Also said about Anthropic this week
I do think the Anthropic S1 was pretty clearly an upside surprise. The fact that they've only burned $10 billion, the profitability, the cash generation, the unit economics, they'…
TBPN · Gavin Baker · Tuesday
Anthropic is simultaneously shipping the strongest models in the world while also doing it very, very efficiently and building an incredible business.
Latent Space: The AI Engineer Podcast · Tuesday
The FTC is demanding that anthropic executives testify in their AI consumer harm probe.
Get everything said about Anthropic →
Mentioned on 139 other episodes this week. Add your own people and companies. Free to start.