“Embracing change and resetting expectations” By Terence Tao

6 点作者 ianwehba将近 2 年前

1 comment

ArunRaja将近 2 年前

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

评论 #36390922 未加载