“Embracing change and resetting expectations” By Terence Tao

Tool additions to make 2026 AI reliable for mathematicians, as per author:<p><i>formal proof verifiers, internet search, and symbolic math packages</i>