Grant Sanderson 撰文提出数学界应奖励动机式解释，而非只看重证明

Grant Sanderson 在 Terry Tao 博客发表客座文章，提出当 AI 可以生成证明时，数学界应正式定义"动机式解释"并给予类似开放问题证明的学术认可。