⌘ K
… 读取采集状态 同步中...
雷
原文
X:Greg Brockman (@gdb)·· 24 天前AI 评分1

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

AI 导读

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

本文当前提供导读和图片预览,完整图文请查看原文。

来源:X:Greg Brockman (@gdb) · terrytao.wordpress.com