来源：daniellitt.com — daniellitt.com · 9 分 · by robinhouston
📋 概述
数学家 Daniel Litt 回应 AI 将终结数学的论调：他担心的不是 AI 会解掉数学，而是一种可能的默认未来——即便出现稳健超越人类的数学系统，现有学术制度也可能让人类对数学的理解乃至数学本身的进展停滞。文章以很快会出现数学上全面超越人类的 AI 为前提，但他提出的具体制度改变只需要接受更弱的假设：数学文本的生产正日益与数学理解脱节，因此需要重新设计机构与激励。