Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video] (youtube.com) 3 points by gsf_emergency 1y ago ↗ HN
0 comments
[ 0.14 ms ] story [ 10.1 ms ] threadNo comments yet.