武少图小杨：感觉从传统图书馆的功能来说，AI出现后，读者对这些功能的需求可能会逐步下滑，但是图书馆提供的空间服务和人性化的关怀服务，是AI短期内提供不了的，当前环境下，读者对人性的温度需求可能会更高一些，个人认为如何将这些人的服务发挥到极致，才是当今各类图书馆发展的必然趋势。
hanna：‘陶哲轩，公开演讲承认AI已彻底改变数学工作流。周三，这位菲尔兹奖得主在斯坦福大学发表了一场题为《新数学工作流》的演讲。然后在Mathstodon上写下一条公告：他要改变自己的工作习惯，不再试图实时跟进所有新证明。‘。
hanna：‘数学家的工作流，被AI切成了三段，陶哲轩在演讲里把数学的生产过程拆成三步。第一步，proof generation，证明生成。AI现在已经在批量产出。GPT-5.5、ClaudeOpus4.7、专门做形式化数学的求解器，一夜之间能涌出几十条新证明。一年前还是惊喜的事情，现在变成生产线日产。第二步，verification，证明验证。Lean、Coq这一类形式化验证工具大半年迭代一次。AI加Lean让验证流程半自动化，审稿人不再需要一行一行手算每个引理。GPT-5.2解Erdős#728那次，验证环节由工具Aristotle自动完成，陶哲轩本人只在终点确认了一下。第三步，digestion，消化与理解。现在，完全空白。‘。
hanna：‘数学是预告片把视线从数学拉远一步。陶哲轩描述的这个困境——AI产出速度远超人类消化速度，显性目标和隐性目标被强行解耦——不是数学独有的。代码可以被AI大量生成，但没人review。论文可以被AI批量写出，但没人读。诊断可以被AI秒出，但医生来不及理解推理过程。每一个知识密集型行业，都在走向同一个岔路口：产出在爆炸，理解在停滞。‘。
hanna：‘陶哲轩在演讲最后，留下一个具体的提议。为AI重度使用设计专门的数学竞赛。评判标准不再是「谁先证出来」，是谁的证明体系最有解释力、谁的形式化最干净、谁能推动整个领域消化某个突破。这句话的潜台词很明白：奖项、期刊、招聘评价——所有建立在证明稀缺时代之上的制度，都要重做。数学不是被AI终结的第一门学科。但它是第一门由顶级专家亲手宣告规则失效的学科。物理、化学、生物大概率会跟上。千年来，数学家比谁先证出来。从今天起，比的是谁更能读得懂AI的证明。‘。