Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video](youtube.com)
youtube.com
Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video]
https://www.youtube.com/watch?v=zZr54G7ec7A
0 コメント
—
https://www.youtube.com/watch?v=zZr54G7ec7A
—