此刻 Now & Next

布里斯托大学工程数学博士

2025 年 11 月 3 日，在布里斯托大学工程数学与技术学院（SEMT）开始读博。课题是首达时间：随机游走者第一次抵达目标要花多久，以及这段时间的分布为什么会裂成两个峰。第一年里，研究从随机过程延伸到了 AI 智能体的评测。这一页上流动的随机游走，正是论文所研究的那一类对象。

博士研究者

∞ 仍在游走

在 Isambard 超算上计算

2025 年 12 月起，重型计算挂在布里斯托大学一个关于「无序环境中的随机游走者」的项目下，在国家级超算上运行。命令行自动化负责同步代码、提交 SLURM 作业、回收结果。Isambard-AI 承担了相遇论文的连续桥生产——格点梯子一路加密到 n = 33，每个释放位置 2×10⁷ 个布朗粒子；Isambard 3 则在 2026 年 9 月为固定预算论文做大规模检验，其中包括一次 2×10⁹ 个粒子的普查。

∞ 仍在游走

公开的中英双语研究图谱

2026 年 2 月 25–26 日，首达研究线有了自己的公开网站：一个中英双语的静态研究图谱，包含八章连续阅读的「书」、每份报告的独立页面、理论专章、可交互的图和排好版的公式。它收录 27 份报告，130 条论断都能追溯到证据。背后的仓库按「智能体优先」组织——统一的命令行工具、护栏测试、机器可读的报告登记表——人和 AI 智能体可以用同一种方式在上面工作。

∞ 仍在游走

几何控制的折叠——投稿 Physical Review E

《Geometry-controlled folds of first-passage-time bimodality under localized absorption》于 2026 年 7 月 30 日以单作者常规论文投稿 Physical Review E。这是读博期间的第一篇论文，也是双峰研究线的收官：局域吸收体的几何，决定了第二个到达峰是否存在；而峰的消失，经由一个可以精确算出位置的鞍结折叠。本站所有展示这一现象的图，都出自我们自己的模拟，而非取自稿件。

prescribed-reaction-time-modes：公开复现仓库

固定预算论文背后的一切，都公开、可核验：模拟、分析与绘图代码，机器可读的数值记录，区间算术证书，Lean 4 源码，以及 Isambard 3 的作业记录，全部用 SHA-256 清单锁定。2026 年 9 月 8 日至 26 日，随论文重建先后发布了五个版本；最新版约 1,466 个文件，含 100 个 Python 脚本、27 个 Lean 文件和 1,198 份 JSON 记录。任何人都能自己复跑，无需向谁申请。

∞ 仍在游走

可编程多峰——稿件准备中

《Programmable multimodality and saddle-node loss of reaction-time peaks under a fixed catalyst budget》是一篇准备中的单作者稿件。把固定量的静态催化剂切成细条带，沿反应布朗粒子对的路径铺开，就能「编排」反应时间密度：弱噪声下，每条条带移走到达粒子对中的固定比例——一种折棍律——于是每条条带恰好对应一个峰；给定峰的时刻与权重，相应的设计存在、局部唯一，并可用牛顿法求出。若条带宽度固定，晚峰则可能经鞍结分岔丢失，其非退化条件在测试算例中由区间算术认证。有限维与微积分核心由 Lean 4 检查，随机部分为手写证明。

∞ 仍在游走

一种 AI 原生的做数学方式

在首达研究线里，逐渐形成了一个可复用的回路：AI 模型提出推导与代码，另一组智能体专门攻击这些论断，数值计算充当裁判，精确代数交给 Lean 4 机器核验。有据可查的例子包括：提出的公式没通过数值核对，被弃用；基于仓库的审计，抓到了外部模型看不见的错误；每次投稿前的多轮评审——单次审计最多动用约六十个智能体。原则浓缩成一句话：AI 能生成更多科学上的可能，研究者的本事，是判断哪些值得相信。

∞ 仍在游走

一条弯向 AI 的研究线

在随机游走的首达研究之外，2026 年的博士工作逐渐延伸到 AI：评测 LLM 智能体，研究人机交互与多语言输入，并把多模型 AI 工作流当作科研仪器——让对抗式审计的分歧由计算来裁决。习惯是一脉相承的：先把隐藏的路径测出来，在有独立证据之前，不轻信任何一个数字。UKAIRS 2026 的录用，是这条线上第一项经同行评审的 AI 成果。

∞ 仍在游走

扩展到八种文字

下一项研究，在花掉任何一次调用之前就已搭好：8 种语言共 44 道题（264 个提示变体），分为「高风险精确文字」任务与对照组；一个固定的前沿模型矩阵；带配对 bootstrap 置信区间的统计引擎；以及所有图表的生成器。一轮从八种母语视角出发的对抗审计，替换掉了四组其实并不会塌缩的同音词。主实验还在等「跑不跑」的决定，所以目前没有多语言结果——这里也不声称有。

∞ 仍在游走

下一版要测什么

接下来要做的：补上与相关研究的定位；让题目收窄到与中文证据相称；鉴于同音题样本还小，把设计规则的措辞放软；做一个小型打字实验，让「省力」与「质量」两头都靠测量、而不是靠模型估算；用约三十道歧义程度分级的同音题，画出一条真实的性能曲线；钉死每一个模型版本；再深挖「先规范化」为什么反而有害。更广的结论所需的八语言框架，已经就绪。

∞ 仍在游走

录用：第一篇 AI 论文

2026 年 8 月 11 日，UKAIRS 录用本文，在 Emerging Research 赛道的海报场次展示。评审认为问题确有意思、工具看起来实用、包容性的视角值得深挖，并建议以「shi shi」的例子，以及「编码变化—压缩—声调丢失」三层分析作为主信息开场。这是第一篇经同行评审的 AI 论文，第一作者。

∞ 仍在游走

UKAIRS 2026，爱丁堡

英国 AI 研究研讨会将于 2026 年 11 月 24–25 日在爱丁堡约翰·麦金泰尔会议中心举行，海报在 25 日（周三）展出。论文里写下的展示方案是并排演示：每道题依次给出原文提示、键盘写法、智能体的回答、评分和输入成本估算——观众可以从日常提示切换到精确术语的压力题，亲眼看到意思在哪里塌掉。本站第 02 章，就是这场演示的初稿。

∞ 仍在游走

阅信国际 AI 负责人（研发）

2026 年 6 月起，在读博之外，担任阅信国际 AI 负责人（研发）。阅信国际是一家覆盖短信、语音与 AI 业务的云通信公司。职责有三块：公司的 AI 平台与模型网关；AI 转型——让团队从「试试 AI」走到每天和 AI 一起工作；以及对国际短信业务的 AI 支持。下面几条，就是这段时间搭起来的东西。

AI 负责人（研发）

∞ 仍在游走

飞书 MCP 连接器：让智能体进入工作台

一套 MCP 连接器，让编程智能体进入公司的飞书工作台——文档、知识库、表格、多维表格、群聊、会议纪要、审批和项目管理——以登录者本人的身份行事，而不是一个无所不能的机器人。它是在官方连接器之上加的一层策略，外加若干自研的桥接：按配置限定可用工具，密钥存放在系统钥匙串里，用一个权限工具自动完成授权范围的升级。配套的技术文档，让它成为同事能自己装上的工具，而不只是一个演示。

∞ 仍在游走

带飞书单点登录的内部 AI 网关

四天之内，一个开源的大模型网关变成了公司的内部 AI 平台——阅信智能开放平台。选哪一款网关，靠的是读两款候选的源码，而不是读它们的宣传册。工作包括：部署手册；管理后台去品牌化与全面中文化；移动端适配；以及一个自助门户——同事用飞书登录、领取密钥、查看自己的用量。随后加上路由重试、降级链和按成员的预算，这一周以一次生产级的模型与权限边界审计收尾。

∞ 仍在游走

由智能体撰写的晨报

销售团队希望每天拿到的不只是一串链接，于是有了这个定时智能体。每天北京时间 8:30，它读取官方公开的采购公告，抽取采购方、预算、范围与要求，把每条公告与同一采购方以往的公告关联起来，再把跟进建议写进共享表格。凡是有后果的动作——报名、购买文件、报价、提交——一律留给人来做。

∞ 仍在游走

企业 AI 统一接入与治理平台

公司的企业 AI 统一接入与治理平台，一周内从本地构建走到公网，于 2026 年 7 月 31 日上线。它是开源网关之上的自研门户：组织、团队与虚拟密钥，模型白名单，预算与用量，防数据泄漏的回调，以及审计哈希链；网关自带的管理后台则对公网关闭。上线前后，它经历了多轮并行 AI 智能体的对抗审查；做了隐私「金丝雀」检查——植入合成的身份信息，确认数据库和日志里一条都没有留下；并通过了正式的生产验收，每个模型都有一张回执。

∞ 仍在游走

紫荆职途

紫荆职途是为一所大学的北京中心做的 AI 职业匹配平台。学生上传简历，确认系统据此生成的个人画像，就能看到与用人单位在六个维度上可解释的匹配结果，旁边还有一张人才政策雷达。第一版根据会议纪要连夜做出，重做前端后上线，随后做了全站审计。之后的版本加入了学生、企业与教职人员的分立工作台，以及机器执行的「真值门禁」——禁用措辞、个人信息、示例占位符，在发布之前一律拦下。运维随后交接给了产品负责人。演示全部使用合成数据。

平台开发

∞ 仍在游走

阅信 AI 助手——网页版与 Windows 版

一天之内，在公司的模型网关上做出并上线了一款面向员工的助手。同事用飞书登录即自动开通，各有每月的个人额度，并可自助生成 API 密钥。网页版流式输出，推理过程可以折叠，支持 Markdown 与公式、图片输入和深浅两种主题；Windows 桌面客户端随下载页一同发布。上线之前，它经历了三路并行的安全审查，外加另一个模型的独立复审。

∞ 仍在游走

从聊天窗口到桌面智能体

桌面版助手正在变成一个编程与办公智能体：底层是开源的智能体引擎，上层是阅信自己的界面。改造之前，先验证了三款国产模型能通过公司网关完成真实的编程任务。接下来几轮陆续加入：额度申请、治理数据回传，带沙箱代码执行、联网搜索与文件读取的网页智能体，内置浏览器，以本人身份在飞书里办事——发送、分享、审批之前都先确认——以及改动面板与终端、定时任务、技能与插件。回传只含元数据，每位员工都能在「我的数据」页看到全部内容。

∞ 仍在游走

公司的 LinkedIn 主页

2026 年 6 月 10 日至 11 日夜里，赶在 MWC 上海之前，建好并上线了公司的 LinkedIn 主页：标志、封面、标语、简介、官网、行业与规模，一律使用阅信国际品牌。视觉素材出自同事的品牌包；这里的工作，是主页本身——以及「展会之前，公司必须有一个」的那个决定。

∞ 仍在游走

「People. Connected.」——代表团的联系网站

为 WWC 代表团做的联系微站：每张名片上一个 19 毫米的二维码，扫码直达个人页——即时消息、LinkedIn、邮箱、官网与「保存联系人」一应俱全；另配浏览器内的名片编辑器，每个人都能自己维护。网站上线在公司的 connect 子域名下，每一张名片都逐一扫码验证过。

∞ 仍在游走

交互式「短信市场交易地图」

一张早上在内部分享的市场地图，当天就变成了一个公开、零第三方依赖的网页：五栏购买逻辑；六类客群及其显性与隐性需求；三个使用场景——验证码、事务通知和授权营销——各自的指标与常见异议；供需、资金与反馈的流向；以及一条七步成交路径。它可以导出 PNG、按客群生成简表、干净地打印；当天又经过内容、易用性与发布安全三路 AI 审查，更新为 V1.1。

∞ 仍在游走

用 AI 原生的方式做助教

教学的背后是一套工作流：全部助教材料整理成一个结构化的课程中枢，附一份写给 AI 智能体看的索引；再由智能体从邮件记录、日历和共享排班表里，重建整个学期的岗位分配、课表冲突和每周安排。方法与做研究如出一辙——先把结构搭好，再让智能体做繁琐的重建，最后逐项核对——只不过这一次，用在了十三个教学岗位上。

∞ 仍在游走

2026–27：三个学院，十三个岗位

2026–27 学年，横跨三个学院、11 门课程，共 13 个教学岗位。数学学院：「数据科学视角」与「数学视角」两门课，「统计推断」的辅导课，「量子计算」的作业批改，以及「纯数学导论」的小班辅导。SEMT 学院：「工程数学 1」的助教与批改，「数学与数据建模 3」的小组指导，「统计计算与实证方法」的上机实验，以及「AI 基础」。CADE 学院：「AI 驱动的设计与仿真」，以及新开的「AI 工程」硕士的小组研究项目。9 月又加了一个线性代数小班。

∞ 仍在游走

一个可离线的中英双语教学资料站

为「纯数学导论」的第一次小班课，一天之内做出并测试了一个以平板为先的网页应用：英文为主的授课稿，外加 39 个主题的中英双语参考库——概览、先修知识与解题策略——可以离线使用，公式在本地排版，不做任何形式的追踪。如今同一个站点还加上了线性代数板块。

∞ 仍在游走

我的名字怎么读

2026 年 1 月 5 日，作为代表在 SEMT 博士生社群里发的第一条帖子，开头就是名字的读法——Xiaoxiao 念作「SHYOW-shyow」，/ʃjaʊ ʃjaʊ/——接着一句研究介绍（格点上的随机游走、首达问题），再邀请大家把意见反馈给学院。之后的帖子陆续转发各种机会：一项成果转化资助的征集、一个与产业界合作的研讨组，以及学部博士新生迎新座谈的志愿者招募。

∞ 仍在游走

开放日学生大使

2026 年 4 月签约成为布里斯托大学学生大使，参加了 6 月 12–13 日的本科开放日——两天约 2.8 万名访客——身边是亲手设计的「Ask me about…」工程数学与 AI 海报。已报名 2026 年 10 月 31 日的下一场开放日。

∞ 仍在游走

连任 2026–27 学年代表

2026 年 8 月 18 日，学生会确认连任第二年的工程数学博士生学术代表。新学年从帮助新一届博士生代表加入团队开始，同时维护学院的博士生社群，让新人顺利进来；学部代表论坛将于 11 月重新开始。

∞ 仍在游走

BioPath 平台：地图进，布点出，附证明

创业学者项目背后的软件：一个 Python 平台，包含命令行工具、API 和静态路演站。输入场地地图和监测预算，它给出使首达捕获最优的诱捕器或传感器坐标，并附上一份谁都能复跑的证明包——优化得分对比启发式与随机基线、稳健的最坏情形得分，以及背后的蒙特卡洛模拟。一个自动化的基准循环已经自己推送了近两千次基准提交，路演站也已上线。

∞ 仍在游走

把领英当作公开的笔记本

在这个网站之前，领英一直是事实上的个人主页：创业海报与学生大使海报上的二维码都指向它；2026 年的大半时间里，zhouyixiaoxiao.com 也跳转到那里。上面的帖子，都是里程碑时刻——开始读博、成为创业学者、创业节路演。2026 年 4 月的快照显示，主页有 888 位关注者。

∞ 仍在游走

微信内容工作室

2026 年 8 月，搭起一个由 AI 协助运转的工作室，把多年积累的手机影像做成短视频，发往微信视频号和公众号。它有四个目标：给素材库里的每段视频建立内容地图；在明确标注 AI 的前提下，打造声音与数字形象；分析说话风格，给出改进建议；半自动发布——但最后那一下「发表」，永远由人来点。转录路线已经选定，流水线已经搭好；接下来是内容地图，以及为本站准备的「记忆星系」。

本站：首达 · 第 01 号

你正在阅读的这个网站，第一版：一场在人生上运行的首达实验——游走者从天津出发，在一块 2021 年至今的发光底片上，寻找你选定的任何目标。它取代了那个自 2026 年 4 月起只会把 zhouyixiaoxiao.com 转到领英的页面。它由一大群 AI 智能体按同一份规格设计与搭建，每一条事实都取自一份核验过、标注了隐私等级的记录——没有任何私密信息被发布。

∞ 仍在游走

2021 年 12 月起的 GitHub

GitHub 账号注册于 2021 年 12 月 1 日。前三年很安静——课程作业、一份数学指北、一个模板——然后在 2026 年喷薄而出：大部分仓库都建于这一年，几乎全部的贡献也是；其中有一个两天的尖峰，是一座自动化的智能体「开发工厂」在黑客松上搭建产品时留下的。本页的实时数字，在构建时从 GitHub 获取。公司私有仓库里的工作不计在内，所以这张图是下限，不是全部。

∞ 仍在游走

天津大学数学学院本科生指北

不只是「读」完课程，而是把它写成一份指南，留给后来的每一个人。2023 年 7 月起动手搭建的《天津大学数学学院本科生指北》，汇集了一个学生需要知道的东西——前言、专业课、各个专业方向，以及如何参与贡献——先是一份附资料库的快速指南，后来成了一个 MkDocs 站点。自 2025 年 12 月起部署在 zhouyixiaoxiao.info，它是这一页上最早、而且至今仍被别人使用的作品。

∞ 仍在游走

London Cuts 旅行故事工作室

一个创作工具，用来记录一次「只去一个地方」的旅行：照片的时间与位置取自照片本身的元数据，配上文字故事，以及六种风格的 AI 明信片；整体可以在三种视觉模式——时装、朋克、电影——之间切换，有公开阅读页、地图集和 PDF / PNG 导出。在线演示讲述了 13 站的《A Year Around London》和《A Week in Reykjavík》，还为 AI 智能体准备了入口：llms.txt、OpenAPI 描述和一个 MCP 端点。London Cuts 是暂定名。

∞ 仍在游走

时装杂志风的租房地图

一张写给来布里斯托读法学硕士的中国学生的单页地图：法学院步行约二十分钟范围内的 17 处学生住宿，每一条都标明信息来源的可信度——核实、房东、搜索或实时——并附申请指南、移动端详情面板和离线底图兜底。一个周末做完，版式借了时装杂志的气质。

∞ 仍在游走

给布里斯托法学硕士的法律职业路线图

一份响应式、编辑风的中文指南，服务打算回国发展法律职业的布里斯托法学硕士（2026–27）：分章导航、全文检索、可筛选的活动与招聘信息、四周实务训练计划、十份可直接复制的模板、若干带日期的官方 AI 产品动态，以及 42 条一手来源——不做统计追踪，也没有后端。和租房地图同一种编辑语言：一小排「布里斯托指南」书架。

∞ 仍在游走