Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video]youtube.com3 points·gsf_emergency··0 commentsOpen articleSaveView on HN