它们更不应该，也绝对不被允许和他的个人核心研究材料放置在同一个物理空间内。

所以，数学中心高层当机立断，把三楼这间原本用于小型项目协调、规格更高的办公室腾了出来，作为江临研究支持单元的临时工作空间。

门口还没有来得及挂上正式的铜牌。

只在门侧的白墙上，用透明胶带端端正正地贴了一张打印的A4纸。

【江临研究支持单元（临时）】

房间比二楼那间足足大了一圈。

里面撤走了原来的沙发，摆放了三个工位。

三个工位分别属于学术秘书、行政助理和技术联络。

行政助理处理媒体、访问与商业流转，学术秘书整理讨论班、版本反馈和学术来信索引，技术联络负责检查技术问题的定义、附件、数据格式和接口条件。

靠窗的位置，留给了数学中心指派的学术秘书。

靠近门口侧边的工位，坐着负责对接校内外繁杂事务的行政助理。

房间中央增加了一张窄会议桌，靠墙的双屏工作站与另外两台电脑分属不同账号权限。

房间正中间临时加塞了一张窄长型的会议桌。

而最里面靠墙，隐蔽性最好的位置，则放置着技术联络的高性能双屏电脑主机。

学术秘书的桌面上，已经堆起了一摞昨夜加班打印出来的讨论班申请表，以及海外学术邮件的要点摘要，上面用不同颜色的荧光笔做着密密麻麻的批注。

行政助理正眉头紧锁，机械而迅速地把那些打着学术交流旗号，实则意在探听虚实的媒体邀约，从内部邮件系统中批量剥离出来，扔进特定的拦截文件夹。

技术联络员坐在最里面，盯着面前的两块屏幕。

昨夜进入邮箱的三百多封邮件，已经被筛掉了大半。

上午十点零六分，技术联络打开第一封A-1候选邮件。

邮件来自清华计算机系一位青年教师，正文很短，附件目录却列得十分清楚。

【问题背景：busy beaver challenge / 5-state 2-symbol turing machines】

【当前对象：cyclers、translated cyclers、backward Reasoning三类非停机判定程序。】

【请求内容：审查三类decider输出的证明证书，能否共享一套最小可信核验接口；若无法共享，希望明确语义冲突发生在哪一层。】

【已知困难：三类证书分别依赖完整配置重复、平移后的配置重复与反向不可达集合，团队内部草案尚无法统一状态对象。】

【边界声明：不请求给出bb(5)数值，不请求判定未决机器，不请求江临加入社区署名。】

【附件材料：三类decider的最小实现、未公开的证明证书草案、已通过样例、统一失败样例与公开社区链接。】

技术联络逐项核对。

问题定义明确。

证明对象存在。

附件可复现。

不涉及商业和保密事项。

他在候选池中添加记录。

【A-1候选/形式化验证/可计算性/材料完整/需江临判断】

第二封邮件来自计算机系另一个课题组，并附带国内可重构计算团队的联名说明。

【问题背景：dedekind number d(9) / monotone boolean functions】

【当前方案：已按变量置换轨道完成第一轮等价类归并；核心计数任务映射至FpGA阵列。】

【现存异常：部分超大轨道在二次切分后出现负载倾斜、跨块重复校验和哈希汇总膨胀。】

【请求内容：审查二次任务拆分是否遗漏规范代表元或稳定子信息；评估现有验证拓扑能否在保留可独立复核能力的前提下重新分块。】

【边界声明：不请求提供完整算法，不请求参与算力消耗，不请求对最终d(9)结果背书。】

【附件材料：任务拆分逻辑、轨道规模分布、稳定子字段说明、哈希校验草案和小规模缩减样例。】

技术联络没有评价对方的数学方案，只检查附件能否支撑请求。
本章未完，请翻下一页继续阅读.........