Terence Tao: Formalizing a proof in Lean using Claude Code [video]
youtube.com
March 9, 2026
1 min read
🔥🔥🔥🔥🔥
44/100
Summary
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
Related Articles
AI is destroying open source, and it's not even good yet [video]
Feb 23, 2026
The OpenAI–Hugging Face Incident [video]
Aug 6, 2026
Zig 2026: No-AI Policy, $670K Foundation, Left GitHub and Why Zig Isn't 1.0 [video]
May 28, 2026
Politician reads AI prompt during assembly
Jul 25, 2026
I Think They [Anthropic] Are Lying to You [video]
Jun 12, 2026