Terence Tao

39K subscribers

5 videos

View on YouTube

Occasional video demonstrations. My primary social media are my blog https://terrytao.wordpress.com/ and Mastodon https://mathstodon.xyz/deck/@tao. My profes...

Latest Videos

Formalizing a proof in Lean using Claude Code

Formalizing a proof in Lean using Claude Code

Terence Tao

136.0K views·2 months ago

Formalizing a proof in Lean by hand

Formalizing a proof in Lean by hand

Terence Tao

39.9K views·11 months ago

Formalizing a proof in Lean using Github Copilot only

Formalizing a proof in Lean using Github Copilot only

Terence Tao

19.0K views·11 months ago

Formalizing a proof in Lean using Claude and o4

Formalizing a proof in Lean using Claude and o4

Terence Tao

50.4K views·11 months ago

Formalizing a proof in Lean using Github copilot and canonical

Formalizing a proof in Lean using Github copilot and canonical

Terence Tao

78.5K views·1 year ago

Terence Tao - NatokHD | NatokHD