34:39 Formalizing a proof in Lean using Github copilot and canonical Terence Tao 76.5K views - 10 months ago