Tag / #Claude
#Claude
3 articles · newest first
FREE
ANALYSIS
AI Converts Fermat's Last Theorem's 129-Page Handwritten Proof into 13 Million Lines of Lean Code in 11 Days
Anthropic used a multi-agent pipeline to run Wiles's 1995 proof end-to-end, giving mathematics its first machine-verifiable proof of Fermat's Last Theorem from start to finish.
▶ Podcast
09-05 · 12 min
FREE
LAUNCH
Claude learns to operate your computer in the background
Anthropic pushes computer use into Cowork and Claude Code, letting Pro and Max users have Claude click and type on their macOS desktop in parallel.
▶ Podcast
09-03 · 12 min
FREE
LAUNCH
Claude Memory Now Shared Across Chat and Cowork, Editable Entry by Entry
On August 25, Anthropic extended memory from chat to Cowork, so a single memory pool is reused across contexts. Users can review, edit, and delete each entry individually in Memory settings, and sensitive topics are excluded by default but can be manually enabled.
▶ Podcast
08-26 · 11 min