“预研项目名称呢？”
江临的目光落在桌面上的一封邮件上。
发件人：周志华。
“S-Agent现实适配。”
陈芷把名称输入项目栏。
【项目名称：S-Agent现实适配】
【状态：硬件可行性预研】
【知情范围：江临、梁知夏、陈砚、陈芷】
【禁止对外披露】
她完成归档，又把文档返回到第一页，从头检查了一遍。
“个人设备和公司资产已经分开留痕。后续如果调用公司人员或场地，我会继续单独记录成本。”
“好。”
陈芷关闭文档。
摄像头熄灭以前，她回头看了一眼玻璃墙外的五个工位。
几个小时前，低熵工坊第一次依靠出售机器人收到产品货款。
几个小时后，她又亲手把江临个人投入的另一批设备，从这张订单里切了出去。
那五台机器人必须靠订单本身被制造出来。
只有这样，它们以后挣到的钱，才能真正养活制造它们的人。
晚上十一点五十六分。
梁知夏从回程车辆里接入。
车窗外的路灯一盏盏向后掠过。她把电脑放在膝上，车辆经过接缝时，屏幕会轻轻晃一下。
她先打开地下管廊项目的版本目录。
【G01c_pG_batchbaseline_v1.0】
pG-01的现场数据已经完成第一轮复盘。
底盘结构。
关节总成。
主供电接口。
热路径。
安全状态机框架。
任务舱机械与数据边界。
首批五台交付机需要遵循的基础版本，全部进入冻结清单。
“技术侧还差你的最终确认。”
江临逐页检查变更记录。
末页已经列出所有仍未关闭的问题。
其中三项允许在交付阶段继续验证。
另外两项被移入后续版本。
没有任何一项足以阻止基础版本冻结。
江临完成电子签署。
【冻结时间：2022年9月29日23时59分】
梁知夏随即修改项目状态。
【首批交付版本已冻结】
“从这一刻开始，商务端不再接受客户直接向工程组增加功能。”她说，“涉及任务舱接口的需求，由我和许曼先筛选。涉及底盘平台层的改动，再提交给你审查。”
“可以。”
另一座管廊提出的窄体底盘仍处于通行能力复核。
恒泰矿山的气体检测与中继投放模组，只进入任务舱审查。
山地电力项目尚未获得报价权限。
三条新需求都被挡在首批五台产品之外。
下午刚刚签下的七百二十万元订单，已经有人接手继续向前推进。
过去，G-01c每一次改动都要经过江临。
从一颗螺栓的预紧力，到一条状态机的回退路径，所有问题最终都会堆到他的工作台上。
今晚，五台正式产品依然需要他的技术签字。
签字完成以后，许曼、陈砚、陈芷和梁知夏已经能够分别接住质量、测试、资金与交付。
那五块空地还没有长出机器人。
低熵工坊却已经开始长出一套离开江临也能继续运行的骨架。
梁知夏这才把视线转向视频里的另一间房。
四台服务器占据大半个画面。
桌角放着已经冷透的餐盒。
“明天下午两点半，南京大学。”
“记得。”
“这次行程不再因商务安排调整。南京南站的接送车辆已经确认，车票和地址都在你的日历里。”
“放心，不会改了。”
梁知夏看了一眼餐盒。
“陈砚说那份工作餐已经热过一次。”
江临拿起筷子，将剩下的米饭拨开。
梁知夏没有再说什么，关闭了会议。
凌晨零点十七分。
研发中心彻底安静下来。
走廊里偶尔传来新风系统切换档位的声音。隔着玻璃，四台服务器沉默地摆在房间西侧，三十二张矿卡还没有全部装入机箱。
江临重新打开周志华的邮件。
邮件里只有已经确认的时间、地点和议题。
【九月三十日，下午两点三十分】
【南京大学人工智能学院】
【证明结构、压缩理论与机器学习泛化的共同接口】
这是一场学术讨论。
没有项目合同。
没有预设结论。
也不需要任何一方扮演指导者。
周志华提出了问题。
江临同样带着自己的问题前往南京。
他打开一份新的空白文档。
江氏砖给出了一种局部约束逼迫全局结构的方法。
pFR/rton证明将庞大的结构问题压缩进有限账目，同时要求每一笔损失都有去处。
S-Agent a则在废土前哨站中管理任务、工具、证据、权限与失败路径。
三条线已经分别存在。
它们之间缺少的，是一个能够真正运转的接口。
凌晨零点三十一分，江临从公开测试集中抽取一段经过人工删减的设备启动日志，交给刚刚部署好的Gpt-Neox-20b。
日志中保留了初始化失败、供电状态与驱动响应，删除了最终故障结论。
模型很快给出四种可能。
供电不足。
驱动版本冲突。
辅助链路接触不良。
某个并不存在于这套设备中的配置开关未开启。
文字流畅。
结构完整。
第四项甚至给出了看起来很像真的参数名称。
江临在公开驱动源码里进行搜索。
没有对应字段。
模型只是把几个常见词拼成了一条足够像答案的解释。
它能够提出候选路径，也能够把候选路径说得令人信服。
它不负责证明自己说过的话。
江临把同一段日志交给S-Agent a。
屏幕停顿片刻，返回另一份结果。
【可确认：初始化失败发生于资源映射完成以前】
【可排除：输入电压越界】
【证据不足：驱动版本冲突】
【建议工具：冷启动对照／配置空间差异比对】
没有虚构字段。
没有擅自补全。
也没有给出江临尚未写进规则库的第五种可能。
S-Agent a守住了证据边界，却只能在已经划定的道路上前进。
江临把两个结果并排放在屏幕上。
左边能够看到许多路，却会把悬崖画成桥。
右边能够检查每一步落脚，却很难主动发现地图之外的入口。
他要做的，是把两种能力接到一起。
候选路径由模型提出。
事实交给工具验证。
失败进入账本。
权限由状态机控制。
每一份最终结果都必须能够回到原始证据。
模型可以犯错。
错误不能在系统里失踪。
如果这条路径成立，得到的东西将超出一台只会生成文字的模型。
它会接收任务。
选择工具。
读取结果。
发现路径失败以后退回检查点。
重新提出候选。
直到交付一份能够追溯的答案，或者诚实承认现有证据无法完成任务。
这件事需要算力。
一张A100 40Gb，足以完成基准测试和小规模适配。
想继续向前，仍然太少。
三十二张170hx若只能维持当前状态，就只是三十二张拥有高速显存带宽的矿卡。
如果江临的判断能够通过验证，情况才会改变。
他把周志华邮件中的核心问题打印出来。
在下方补了一行字。
【压缩之后，什么不能丢？】
他看了片刻，将纸夹在A100运输箱的固定带下。
凌晨一点四十三分。
四组存储在离线校验设备完成最后一次哈希校验。
绿色状态灯依次亮起。
第一组保存2022年能够公开获取的模型、训练框架、工具链与语料。
Gpt-Neox-20b。
codeGen-16b。
pytorch与cUdA相关源码。
公开数学、代码与机器学习数据。
第二组保存江临自己的成果。
江氏砖形式化结构。
pFR/rton受控研究副本。
S-Kernel。
S-Agent a。
证明依赖图与失败节点账本。
第三组是硬件分析资料。
A100基准环境。
170hx原始设备日志。
江临的目光落在桌面上的一封邮件上。
发件人：周志华。
“S-Agent现实适配。”
陈芷把名称输入项目栏。
【项目名称：S-Agent现实适配】
【状态：硬件可行性预研】
【知情范围：江临、梁知夏、陈砚、陈芷】
【禁止对外披露】
她完成归档，又把文档返回到第一页，从头检查了一遍。
“个人设备和公司资产已经分开留痕。后续如果调用公司人员或场地，我会继续单独记录成本。”
“好。”
陈芷关闭文档。
摄像头熄灭以前，她回头看了一眼玻璃墙外的五个工位。
几个小时前，低熵工坊第一次依靠出售机器人收到产品货款。
几个小时后，她又亲手把江临个人投入的另一批设备，从这张订单里切了出去。
那五台机器人必须靠订单本身被制造出来。
只有这样，它们以后挣到的钱，才能真正养活制造它们的人。
晚上十一点五十六分。
梁知夏从回程车辆里接入。
车窗外的路灯一盏盏向后掠过。她把电脑放在膝上，车辆经过接缝时，屏幕会轻轻晃一下。
她先打开地下管廊项目的版本目录。
【G01c_pG_batchbaseline_v1.0】
pG-01的现场数据已经完成第一轮复盘。
底盘结构。
关节总成。
主供电接口。
热路径。
安全状态机框架。
任务舱机械与数据边界。
首批五台交付机需要遵循的基础版本，全部进入冻结清单。
“技术侧还差你的最终确认。”
江临逐页检查变更记录。
末页已经列出所有仍未关闭的问题。
其中三项允许在交付阶段继续验证。
另外两项被移入后续版本。
没有任何一项足以阻止基础版本冻结。
江临完成电子签署。
【冻结时间：2022年9月29日23时59分】
梁知夏随即修改项目状态。
【首批交付版本已冻结】
“从这一刻开始，商务端不再接受客户直接向工程组增加功能。”她说，“涉及任务舱接口的需求，由我和许曼先筛选。涉及底盘平台层的改动，再提交给你审查。”
“可以。”
另一座管廊提出的窄体底盘仍处于通行能力复核。
恒泰矿山的气体检测与中继投放模组，只进入任务舱审查。
山地电力项目尚未获得报价权限。
三条新需求都被挡在首批五台产品之外。
下午刚刚签下的七百二十万元订单，已经有人接手继续向前推进。
过去，G-01c每一次改动都要经过江临。
从一颗螺栓的预紧力，到一条状态机的回退路径，所有问题最终都会堆到他的工作台上。
今晚，五台正式产品依然需要他的技术签字。
签字完成以后，许曼、陈砚、陈芷和梁知夏已经能够分别接住质量、测试、资金与交付。
那五块空地还没有长出机器人。
低熵工坊却已经开始长出一套离开江临也能继续运行的骨架。
梁知夏这才把视线转向视频里的另一间房。
四台服务器占据大半个画面。
桌角放着已经冷透的餐盒。
“明天下午两点半，南京大学。”
“记得。”
“这次行程不再因商务安排调整。南京南站的接送车辆已经确认，车票和地址都在你的日历里。”
“放心，不会改了。”
梁知夏看了一眼餐盒。
“陈砚说那份工作餐已经热过一次。”
江临拿起筷子，将剩下的米饭拨开。
梁知夏没有再说什么，关闭了会议。
凌晨零点十七分。
研发中心彻底安静下来。
走廊里偶尔传来新风系统切换档位的声音。隔着玻璃，四台服务器沉默地摆在房间西侧，三十二张矿卡还没有全部装入机箱。
江临重新打开周志华的邮件。
邮件里只有已经确认的时间、地点和议题。
【九月三十日，下午两点三十分】
【南京大学人工智能学院】
【证明结构、压缩理论与机器学习泛化的共同接口】
这是一场学术讨论。
没有项目合同。
没有预设结论。
也不需要任何一方扮演指导者。
周志华提出了问题。
江临同样带着自己的问题前往南京。
他打开一份新的空白文档。
江氏砖给出了一种局部约束逼迫全局结构的方法。
pFR/rton证明将庞大的结构问题压缩进有限账目，同时要求每一笔损失都有去处。
S-Agent a则在废土前哨站中管理任务、工具、证据、权限与失败路径。
三条线已经分别存在。
它们之间缺少的，是一个能够真正运转的接口。
凌晨零点三十一分，江临从公开测试集中抽取一段经过人工删减的设备启动日志，交给刚刚部署好的Gpt-Neox-20b。
日志中保留了初始化失败、供电状态与驱动响应，删除了最终故障结论。
模型很快给出四种可能。
供电不足。
驱动版本冲突。
辅助链路接触不良。
某个并不存在于这套设备中的配置开关未开启。
文字流畅。
结构完整。
第四项甚至给出了看起来很像真的参数名称。
江临在公开驱动源码里进行搜索。
没有对应字段。
模型只是把几个常见词拼成了一条足够像答案的解释。
它能够提出候选路径，也能够把候选路径说得令人信服。
它不负责证明自己说过的话。
江临把同一段日志交给S-Agent a。
屏幕停顿片刻，返回另一份结果。
【可确认：初始化失败发生于资源映射完成以前】
【可排除：输入电压越界】
【证据不足：驱动版本冲突】
【建议工具：冷启动对照／配置空间差异比对】
没有虚构字段。
没有擅自补全。
也没有给出江临尚未写进规则库的第五种可能。
S-Agent a守住了证据边界，却只能在已经划定的道路上前进。
江临把两个结果并排放在屏幕上。
左边能够看到许多路，却会把悬崖画成桥。
右边能够检查每一步落脚，却很难主动发现地图之外的入口。
他要做的，是把两种能力接到一起。
候选路径由模型提出。
事实交给工具验证。
失败进入账本。
权限由状态机控制。
每一份最终结果都必须能够回到原始证据。
模型可以犯错。
错误不能在系统里失踪。
如果这条路径成立，得到的东西将超出一台只会生成文字的模型。
它会接收任务。
选择工具。
读取结果。
发现路径失败以后退回检查点。
重新提出候选。
直到交付一份能够追溯的答案，或者诚实承认现有证据无法完成任务。
这件事需要算力。
一张A100 40Gb，足以完成基准测试和小规模适配。
想继续向前，仍然太少。
三十二张170hx若只能维持当前状态，就只是三十二张拥有高速显存带宽的矿卡。
如果江临的判断能够通过验证，情况才会改变。
他把周志华邮件中的核心问题打印出来。
在下方补了一行字。
【压缩之后，什么不能丢？】
他看了片刻，将纸夹在A100运输箱的固定带下。
凌晨一点四十三分。
四组存储在离线校验设备完成最后一次哈希校验。
绿色状态灯依次亮起。
第一组保存2022年能够公开获取的模型、训练框架、工具链与语料。
Gpt-Neox-20b。
codeGen-16b。
pytorch与cUdA相关源码。
公开数学、代码与机器学习数据。
第二组保存江临自己的成果。
江氏砖形式化结构。
pFR/rton受控研究副本。
S-Kernel。
S-Agent a。
证明依赖图与失败节点账本。
第三组是硬件分析资料。
A100基准环境。
170hx原始设备日志。