“Embracing change and resetting expectations” By Terence Tao

Tool additions to make 2026 AI reliable for mathematicians, as per author:

formal proof verifiers, internet search, and symbolic math packages