第十五章 数学家的新阵地如何建立
一、新阵地首先是一组能够持续的活动
新阵地不是一个新名称，也不是在传统专题前面加上AI几个字。它应当表示一组可以持续开展的研究活动：人们知道正在处理什么问题，能够使用某些方法形成结果，能够判断结果是否可靠，并能从已完成的工作继续。这个定义把注意力从身份宣告转向实际组织。一个方向即使尚未获得正式学科名称，也可能已经形成新阵地；一个名称即使频繁出现，若没有可接续工作，仍可能只是倡议。
对本书而言，新阵地的重要特征，是把工具封装形成的能力用于扩大数学发生。它可以从新对象、新方法、新应用或新的合作关系进入，但最终需要使过去难以进行的活动成为可能。常规研究在其中继续发挥作用，因为定义需要检验，猜想需要证明，计算需要核对。新的阵地不是逃离这些要求，而是改变它们所服务的问题与构成方式，使既有能力在不同研究组合中获得新作用。
因此，数学家不必先决定自己是否具有创立典范的资格，再开始行动。可以先选择一个明确的构成问题，组织有限试验，观察它是否产生新的问题族。典范是否形成，要看后续研究、代表性成果和共同体接续，而不能由起点的抱负决定。但起点的方向很重要：若始终不允许基本对象和问题标准进入讨论，工具能力再强，也可能只扩充同一轨道的成果供给。
二、四种入口怎样相互连接
第一种入口是对象。研究者发现现有单元划分无法表达某类互动，于是尝试改变边界、同一性或状态构成。第二种入口是方法。原有对象仍然重要，但新的搜索、比较或证明组织使过去难以完成的工作成为可能。第三种入口是应用。具体领域提出不同要求，迫使数学模型重新安排变量与关系。第四种入口是共同体。不同背景的人围绕同一问题形成合作，使原来分离的知识发生联系。
这四种入口没有固定顺序。一个应用困难可能引出新对象，新对象又要求新方法；一种新方法也可能让研究者看见原有资料中的结构，进而形成新的问题。共同体既是后续承接者，也是这些变化的发生条件。若只把它看作成果完成以后的宣传对象，就会忽略不同参与者怎样改变问题。数学的新阵地由这些相互作用形成，不能仅由单一技术变量解释。
可以用一个假想研究串联说明。某种协作网络的节点并非固定个人，而是会随任务形成临时复合单位。应用方需要比较不同协作方式，研究者于是提出可变边界的节点表示；AI帮助生成最小例子和更新规则，数学家检查何时组合具有稳定意义；软件参与者实现模拟，其他领域研究者提出反例。这个过程未必产生新典范，却已经使对象、方法、应用与共同体共同进入研究。其价值要由具体结果决定。
三、把研究设想变成第一件作品
一个设想要获得持续支持，最好能够形成一件规模有限而内容完整的研究作品。它不必解决全部问题，但应包括动机、定义、最小算例、至少若干可检验后果，以及与已有方法的比较。若数学构造尚未完成，可以明确报告失败位置；若只有经验效果，就不要称其为定理。第一件作品的目标是使他人能够判断这一方向值得怎样继续，而不是通过宏大文字提前取得认可。
例如，研究者提出一种会随作用历史改变边界的单元。他可以先限定在有限集合上，给出状态与更新规则，检查两次更新的次序是否重要，构造一个边界发生变化的例子，并比较固定边界模型的表达。即使最后发现它属于某种已知状态系统，这件作品仍能澄清问题。若出现新的运算结构，再继续研究它的性质。从最小构造开始，可以让哲学动机逐步承担数学责任。
AI适合帮助展开这种作品的多个部分，但需要明确任务之间的关系。一个系统寻找等价模型，另一个任务寻找反例，计算程序生成小规模样例，形式化工具核对部分命题。若多项结果互相冲突，研究者应回到定义与假设，而不是选择最符合期待的答案。第一件作品应当保留这些关键修订，让后来者知道最终构造是怎样通过限制与失败形成的。
作品完成后，也应说明下一步最有价值的不确定性。有时是一个核心命题尚未证明，有时是与已有理论的区别尚不清楚，有时是应用收益尚未出现。将不确定性排序，可以使资源进入真正限制方向发展的地方。若每次都把下一步写成“进一步研究”，新阵地便缺乏具体推进路径。可接续性需要的不只是开放姿态，还需要能够被别人接手的问题。
四、用共同比较避免各说各话
多元探索的危险之一，是每个方案都建立自己的语言和成功标准，因而永远无法相互检验。为避免这种情况，新阵地需要共同的比较对象。不同模型可以不共享全部公理，却应尽可能说明哪些任务相同，哪些条件不同，哪些后果可以相互翻译。共同比较不会消灭多样性，反而帮助辨认多样性究竟发生在哪里。
例如，两个候选模型都声称能够描述范围性影响，可以先比较它们是否在简单情形下恢复同一结果，是否对重叠给出不同处理，是否保存历史信息，以及计算与解释成本如何变化。某个模型表达更丰富，但在当前任务中多余；另一个模型较简洁，却无法区分关键情境。这些差异比“谁更先进”更有信息量。研究者可以据此选择应用范围，也可以继续研究两者之间的映射。
比较还应纳入既有数学。不能因为新构造来自触觉、听觉或其他SDE入口，就预先断言现有数学无法表示它。需要检查已知结构能做什么，表达时需要哪些附加条件，新的构造究竟在概念组织、运算性质还是应用效率上带来收益。发现与已有理论等价，不必被视为失败；它可能帮助新问题获得成熟工具。真正需要避免的是没有比较就宣布不可替代。
五、资源如何与探索的不确定性匹配
新阵地需要时间、工具、资料与合作，但早期价值往往难以按成熟领域的产出尺度衡量。资源安排可以采用分阶段方式：先支持最小构造，再根据结果支持关键证明与比较，最后支持更广应用和共同体接续。每一阶段都有明确问题，也允许终止。这样的安排使探索保持开放，同时避免把长期愿景作为无限投入的依据。
资源类型也需要匹配瓶颈。若困难在于缺少领域知识，增加算力未必有效；若困难在于候选太多而缺少验证，继续提高生成速度可能增加负担；若困难在于成果无法被同行理解，就需要更清楚的表达与共同例子。资金、时间与人力不能只按技术热度分配。一个小型但任务清楚的合作，有时比一个配置豪华却问题模糊的平台更能产生知识。
数学家还应考虑资源的可持续性。研究若完全依赖一次性支持，成果需要尽量形成可保存、可运行、可迁移的形式，使后续参与者能够继续。工具与模型版本会变化，因而关键定义、数据来源、计算设置和证明依赖应被记录。这些工作看似不如提出宏大猜想醒目，却决定新阵地能否越过个人热情的短期阶段。持续发生需要记忆与承接条件。
六、合作伙伴怎样共同改变问题
寻找合作伙伴，不只是寻找能够补齐现有计划的人。真正的跨领域合作可能改变计划本身。数学家认为重要的性质，应用方可能并不需要；应用方习惯使用的单元，数学分析可能发现并不稳定；工具开发者则可能指出当前表示使计算异常困难。若合作只允许别人执行预定分工，这些差异便无法转化为研究机会。新阵地需要允许问题在互动中被重写。
这种开放必须与责任清楚同时存在。谁确认应用问题的含义，谁负责数学推导，谁维护计算实现，谁整合对外主张，都需要约定。角色可以变化，但不能因为人—AI共同完成就失去具体承接。AI可以参与每个环节的建议与检查，研究团队仍需要说明哪些判断经过怎样的验证。明确责任不是压制创造，而是使不同参与者能够放心把成果接入下一步活动。
合作还需要可共享的中间对象。一段含混愿景很难让不同背景的人有效讨论，一个最小算例、一张依赖关系表或一个可运行的更新规则则更容易显露分歧。数学在这里不仅提供最后的公式，也参与构造共同工作的对象。不同参与者对同一算例提出不同要求，正可能暴露新的结构问题。共同体并非等数学完成后才出现，它在这些中间对象的使用中逐渐形成。
贡献归属也应随活动记录。提出问题、发现反例、修改定义、证明命题与建立实现，可能来自不同参与者。若只奖励最后写出论文的人，会削弱其他关键工作的动力。反之，若把所有参与一概视为同等贡献，又会模糊责任与实际投入。新阵地需要具体说明贡献，而不必在一开始就设计一套适用于所有项目的总分制度。
七、为多种路线保留空间
典范多元化要求共同体允许不同对象构成与研究方式并行展开。但多元不等于无限增加名称，也不等于所有路线获得相同评价。有限资源下，需要选择，同时保留尚未成熟但理由清楚的分支。选择可以依据构造是否明确、是否产生新问题、是否具有可验证后果、是否能与其他方向形成联系。不同路线可能在这些方面各有优势，不必强行压成一个总排名。
组织上可以把稳定积累与高不确定探索区分安排。成熟方向继续提供证明、教学与公共资源，候选方向则承担对象和方法的试验。两者之间应有流动：新方向可以调用成熟工具，成熟方向也可以吸收新定义和新问题。若把创新与常规工作隔成两个互不理解的阵营，新阵地会失去积累，旧阵地也难以更新。封装的意义正在于使成熟过程成为新发生的支持条件。
多路线并行也需要淘汰机制。一个方向长期无法给出明确构造，或者反复依靠新增任意条件回避反例，就应受到质疑。终止某条路线不等于否定所有多元探索，而是保护整体研究质量。被终止的方向若留下清楚边界，仍可能为其他分支提供帮助。允许失败、允许修正、允许结束，使多元化成为研究制度，而不是每个倡议都必须永远被保留的信念。
八、从新阵地走向典范问题
一个新阵地发展起来以后，可能出现三种不同结果。它可能成为既有数学中的有效方法，帮助原方向深化；可能形成新的对象与问题群，却仍使用大体相同的研究标准；也可能逐步改变对象、同一性、运算、范例和评价方式，成长为更广的典范候选。这些结果都需要分别命名。不能因为没有达到最后一层，就否定前两层价值；也不能因为前两层有效，就提前宣布典范革命。
本书选择把数学典范多元化作为核心方向，是因为AI不仅可能加快单个结果，也可能降低同时展开多个基本方案的成本。过去一个研究者难以承受的候选比较，现在可以由复合研究系统逐步完成。但速度只提供条件，验证、解释与共同体接续决定这些条件能否形成数学。新阵地的建设正是连接两者的工作：把能力封装转化为具体活动，把具体活动转化为可持续研究。
第三编由此完成从职业替代到研究发生的转向。我们已经看到，工具史不能只读成机器替人，也不能只读成繁荣必至；关键在于能力增长怎样进入新的任务、对象与关系。数学家应当主动建设这些连接，使未来不只表现为同轨竞争加剧。接下来的讨论将进入库恩的常规科学与典范概念，考察既有研究为什么成功，以及多种数学典范候选怎样在严肃检验中持续发生。
判断一个新阵地是否开始稳定，还可以观察三种接续。首先是对象接续：后来者能否依据已有定义构造新的例子，而不必猜测作者原意。其次是问题接续：已完成结果是否自然引出新的、可以明确表达的困难。最后是人员接续：除最初倡议者以外，是否有人能够独立开展部分工作并提出修订。三种接续未必同时出现，但它们比名称传播更能说明研究正在形成。
若只有对象接续而没有重要问题，方向可能是一种有用表达；若有问题而无人能进入，需要检查文档、工具与合作门槛；若有许多追随者却缺少明确构造，则应警惕共同体只围绕身份聚集。把这些可能性分开，可以让新阵地在成长过程中持续自查。多元数学发生所要求的开放，首先就是允许自己的发展层次被准确描述，而不是要求所有探索在起步时就获得最高的理论称号。