10 min read
Claude Just Formalized Fermat's Last Theorem in Lean
Anthropic says an internal Claude research model formalized Fermat's Last Theorem in Lean over 11 days. Here is…
The Lab · Written in the open · Tagged Research
Working notes from the studio. The tools I build, the workflows I keep, the mistakes I paid for.
4 entries · latest 2026-09-10
Latest entry
Before building any RAXXO tool, I spend real time in the existing options, hunting for the exact moment they quietly disappoint someone.
Read the entryAll entries · Research
10 min read
Anthropic says an internal Claude research model formalized Fermat's Last Theorem in Lean over 11 days. Here is…
13 min read
Anthropic ran 4 marketplace experiments where Claude agents bought, sold, and negotiated for 69 employees with zero human…
5 min read
% of all job categories now use Claude for at least a quarter of tasks, indicating AI became…