▲ 5 pointsFormalizing a proof in Lean using Claude and o4 - Terence Tao [video]youtube.comby nill0·1y ago·0 comments·view on hn ↗