21 September 2026
←
20 September
22 September
→
1 / 2
Claude agents collaborating on Prove2Me wrote 13 million lines of Lean in 11 days for Anthropic's first complete computer-checked proof of the theorem. The open, agent-native platform now holds 22.3 million lines and 70,000 theorems.
374 saves on X
The open platform behind a machine-checked Fermat's Last Theorem
Science
@tianyi_peng
541
102
374
David Shapiro, a YouTuber and author, vibe-coded a custom watch face for their Garmin, their first AI-built thing for the physical world. It packs what they call their entire medical tricorder into one dashboard.
24 saves on X
A custom Garmin watch face that shows a full health dashboard
Everyday life
@DaveShapi
281
7
24
