专著母题 · 德麦国际专著第 457 号
《AI对科研的冲击为何首先表现在数学上？》
AI先冲击数学，因为数学的统一性最强；被冲击的是“人类”二字，统一性退成水电，同一性长成谱系。
一、它推翻的默认看法
流行的解释是：数学不需要现实检验，纸面自洽即可，所以机器最先拿下。书里认为这句话说对了一半：它讲出了机制层的真话（反馈快、信号净、错得起，机器可以放心练手），却没有往下问数学的检验为什么能不靠现实。答案是尺子是公共的，谁来量结论都一样。并且“不需要现实”解释不了队列：代码要真跑，也先倒下了；难易、读书多少、要不要灵感，都排不出代码、数学、形式逻辑这一队。更深的一层默认看法是：AI 冲击的是人的能力。书里说，机器进来后统一性没有少，松动的是知识＝人类统一性认知里的“人类”二字，这是身份的冲击，数学没有死。
二、母题怎样立起来
起点是程砚的早晨：卡了一周的图论小题，机器几分钟给出站得住的证明，她没有高兴也没有难过，只对邵禾说“题是我的，答案不是”。第一步，纠正缘故：可验证性是统一性的副产品，规则对所有人一样，所以谁查都一样，所以能交给软件查，所以反馈快净便宜，机器才能大量练习；“不需要现实检验”排在这条链的第四、五步。第二步，队列按“能不能当场统一判定”排，统一性越强越先被接管（待验）。第三步，立式子：知识＝人类统一性认知，欧几里得到同行评议默认了两千年；署名、学位、功名把统一性知识换成人的身份，机器一进来，“会它，就是我”不再成立。第四步，统一性退位成水电：按 token 计量，证明退到后台隐形，会解方程像会用电而不再构成谁；这是升格为公用事业。第五步，基础设施不中立：统一性铺到哪里，同一性就沿着路面偏，同一性往往被统一性灌注，成为伪同一性。第六步，另一端是同一性：它回答“这里才这样”，不能从外面应用，只能就地发生，从学科共同体和行业规范，经部落、家族近似，到一人一部落的“我的字”，是一条谱系。落点：统一性变便宜后，价值转向发生同一性，核心是自我世界与读人。
三、核心构念
- 统一性：一个标准对所有人成立，可横向通约、自上而下应用；回答“谁用都一样”。
- 同一性谱系：同一性不是一个点而是一条线，从学科共同体与行业规范，经部落同一性、家族近似，到“我的字”；知识的高下看它在谱系上的位置，不看多普遍。
- 知识＝人类统一性认知：全书的式子；被冲击的是其中的“人类”。
- 三大规范学科：数学、逻辑学、符号学，对应 token 的计量、相连、显出三面，规范生成而非价值，所以不同于皮尔斯的规范科学。
- 退位（水电）：统一性知识的计量、隐形、去身份三个特征；用来解释数学为何是升格而非贬值。
- 灌注与伪同一性：统一性冒充同一性；用换名等小测试识别。
- 同一性不能应用，只能发生：下放失效之后留下的就地生长。
- 守夜人：仍需懂数学的人，在结论绿灯通过时查它是不是人想问的那件事。
四、全书骨架
四篇三十六章，另有导论“一只竹篮，七个词”、结语与附录。上篇“冲击”（第1—9章）：由一道题被做完，纠正“不需要现实检验”，立式子与三大规范学科，得出统一性越强越先被接管。中篇“退位”（第10—18章）：统一性成水电，及其计量、隐形、去身份、冠名权搬家，课堂的变化，基础设施的灌注，以及“机器生成得出来吗”这条判据。下篇“诞生”（第19—27章）：统一与同一的一字之差、下放失效、部落、家族近似、一人一部落、文明与经济的谱系性、同一性只能发生。尾篇“人凭此为人”（第28—36章）：用程砚的第二年、竹编作坊、慧店、母本与子本、读人、人机同在现场，落到守夜人与全书合拢。
五、关键案例与证据
- 程砚把引理交给机器，几分钟拿回站得住的证明。
- 代码也要运行却先倒下，用来驳“不要现实”；诗里格律那一半先被接管，另一半没有先垮。
- 车间老师傅凭耳朵听出轴承要坏，一旦能被传感器记成公共数据，就换了队伍。
- 电从英雄事业变成墙上的插座，类比统一性知识；公路修好后只觉“路过”。
- 高考是统一性，考场外自己擦干手心是同一性；原谅父亲只能在两人之间一件事一件事地走。
- 竹编作坊、慧店、母本与子本作为谱系上的落脚处。
- 说明：人物虚构；机器在数学上的进展只写大方向，不写成绩、日期、人名；引文大意标〔待验〕〔核〕等，汇总于附录五。
六、碰撞接口
- 可抽出的命题：
1. 凡可被当场统一判定者，皆先被机器接管；可验证性是统一性的副产品，不是“不要现实”的结果。2. 若知识能被机器从公共语料直接生成，则仍属统一性；必须在这群人、这个人身上走一遍才发生的，才可能是同一性。3. AI 的冲击不是能力的冲击，而是身份的冲击：“会它，就是我”不再成立。
- 可相撞的方向：与科学社会学、同行评议、署名与冠名制度相撞；与教育（标准答案之后的课堂）、招聘与职业认证相撞，可撞点在统一性能力与同一性发生如何分开计价；与“AI 会取代某职业”类论断相撞，用统一性强弱代替难易；还可与形式化验证、可复现性危机相撞。
- 站内邻书：第491号《SDE平台：慧店的诞生》，同向，同一性落地的店；第15号《知识发生论》，同向；第455号《晕痛苦》，同向，读人一线；第371号《从派克教授的语言学到SDE语言学》，跨界，可对照符号一面。
七、边界：什么情况下算错
附录三自认十三处弱点和推翻条件。其中，三大规范学科“恰好三门”是最弱的论证，拿走一门 token 就不成立只是本书的论证；队列并非铁律，第5处自认有混杂；最难补的一处是同一性会不会也被机器生成，这条线会随机器变强而移动，问法不变。若找到统一性很强而长期未被接管的领域，或同一性被机器稳定地从公共语料生成，母题就须收窄。书还声明它不证明数学基础，不预测机器的下一个里程碑，也不给出同一性知识的清单与测量仪器。