Terence Tao

@UCCGfqB7qtWIktmPyf5UMcbw - 37.4K subscribers

Occasional video demonstrations. My primary social media are my blog terrytao.wordpress.com/ and Mastodon mathstodon.xyz/deck/@tao. My professional home page is www.math.ucla.edu/~tao/

Home Videos Live Playlists

Formalizing a proof in Lean using Claude Code

Formalizing a proof in Lean using Claude Code Terence Tao

114.6K views - 4 days ago

Formalizing a proof in Lean by hand

Formalizing a proof in Lean by hand Terence Tao

37.3K views - 9 months ago

Formalizing a proof in Lean using Github Copilot only

Formalizing a proof in Lean using Github Copilot only Terence Tao

18.7K views - 9 months ago

Formalizing a proof in Lean using Claude and o4

Formalizing a proof in Lean using Claude and o4 Terence Tao

49.8K views - 9 months ago

Formalizing a proof in Lean using Github copilot and canonical

Formalizing a proof in Lean using Github copilot and canonical Terence Tao

76.5K views - 10 months ago