Story
Terence Tao: Formalizing a proof in Lean using Claude Code [video]
1 report
1 website
1 discussion
Latest report
Overview
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
Summary from youtube.com.
Reports
One report so far. Additional coverage will appear here when it is linked to this story.
Community reactions
Each reaction summarizes sampled comments from the linked discussion.
Hacker News · youtube.com
Hacker News discussion ↗
Historical count: 1 · 1 saved in sample · Historical sample
Awaiting analysis