Terence Tao

@TerenceTao27 - 3 本の動画

チャンネル登録者数 2.37万人

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

最近の動画

Formalizing a proof in Lean using Github Copilot only 42:08

Formalizing a proof in Lean using Github Copilot only

Formalizing a proof in Lean using Claude and o4 31:45

Formalizing a proof in Lean using Claude and o4

Formalizing a proof in Lean using Github copilot and canonical 34:39

Formalizing a proof in Lean using Github copilot and canonical