from Hacker News

“Embracing change and resetting expectations” By Terence Tao

by ianwehba on 6/19/23, 1:41 AM with 2 comments

• by ArunRaja on 6/19/23, 11:02 AM

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

  formal proof verifiers, internet search, and symbolic math packages