【校友卡】

  王立博，晋中信息学院2017届毕业校友，现为清华大学深圳国际研究生院智能机器人实验室博士后、实验室人工智能研究员。比起循规蹈矩的履历，他更愿意称自己为一名“野路子”研究者：另类、叛逆，始终由兴趣驱动，通过自学与实验走上前沿模型研发之路。截至目前，他已研发了VeriLoop Coder E1与VeriLoop E2两款模型。其中，在黎曼猜想ζ函数的演示中VeriLoop E2配合VeriLoop Harness尝试将临界线零点比例下界从67.25%推进至67.35%。

不随波逐流的信院四年

  2013年，来自山西大同普通家庭的王立博，以严重偏科的成绩走进信院。比起接受现成答案，他更习惯独立判断一件事是否值得做。大众观点，他未必接受，多数人的选择，也不足以成为理由。即使因坚持己见而饱受嘲笑，他仍相信，思考的价值不应由掌声决定。

  叛逆，并非刻意与人对立，而是不愿让别人替自己思考。在校四年，他比起被既定标准安排人生，更在意选择自由。他在武术社训练散打，在高社长的指导下两度获得社团散打冠军。独立思考与身体力行，是他留给信院四年青春的注脚。

跨越专业边界，把兴趣走成道路

  毕业后，王立博前往杭州，曾为汇丰银行从事反洗钱合规工作。由于当时英语太差，他远赴菲律宾学习工商管理硕士（MBA），后又赴马来西亚和波兰分别学习工商管理博士（DBA）和认知科学硕士。一路辗转，并未让他被某个专业或职业身份固定下来。恰恰相反，在与当地文化交融的过程中，好奇心越来越强，常常把他带往原本不在计划中的领域。

  2022年末，ChatGPT问世，为他打开了新视野。擅长把复杂问题拆解成目标、约束、步骤与判断条件的王立博，通过提示词与大模型反复交互。这种近乎本能的逻辑组织能力，与大模型逐步推理、解决问题的方式产生了奇妙的共鸣。起初几乎没有任何代码基础的文科生，就这样借助AI开始编写、运行与调试程序，一步步进入研发实践。

  攻读工商管理博士期间，在兼顾学业的同时，他通过Coursera自学开放课程。记忆中，第一门便是斯坦福大学教授主讲的机器学习；此后，他继续学习深度学习、自然语言处理与强化学习，并在不断与AI讨论问题的过程中追踪新方法、设计实验、检验方案。

  在波兰学习认知科学期间，他开始与大模型协作，探索Transformer底层架构与算法，开展实验并撰写论文。不断增长的好奇心又驱使他独立尝试聊天机器人、通用大模型、推理引擎及视觉—语言—动作（VLA）模型。从理论到代码，从失败到复现，没有一套现成的培养路径。王立博以发现问题为起点，把自学积累成真正解决问题的能力。

从DeepSeek的轻视，到清华实验室

  临近博士毕业时，心高气傲的王立博曾主动尝试与DeepSeek招聘团队沟通。据他回忆，那次交流中令他感受到了对非名校科班背景的偏见，自尊心受到强烈冲击。这段经历让他更坚定地认为：研究者的价值不应由出身、专业或学历标签预先裁定，而应由作品和经得起检验的结果回答。

  此后，他进入清华大学深圳国际研究生院智能机器人实验室。幸得团队的赏识与信任，得以实现自己的技术路线，主导研发VeriLoop Coder E1与VeriLoop E2。在部分代码、数学与科学基准的公开成绩对照中，E2取得了高于DeepSeek V4.1 Flash相关版本报告分数的结果。这属于特定指标下的比较，并不意味着在所有任务上全面领先。

  专业背景与人工智能相去甚远，如今却投身前沿模型研发，他笑称自己是清华实验室里非主流“野路子”研究者。他说：“野路子加野路子，就是新路子，这并非否认专业训练，而是不愿让应试教育与既定标签框定人的可能。”他希望用经得起检验的成果回应曾经的轻视：人有尊严，不分高低贵贱。

迈向可验证智能

  VeriLoop Coder E1的核心是面向软件工程的“循证螺旋”：模型生成代码候选，Self‑Harness借助测试、执行记录和外部工具审视它，通过证据发现错误、证伪假设、探索关键缺口，再实施针对性修复并重新验证。

  通过检验的成果进入下一轮，失败经验也成为后续改进的依据。它要改变的，不是模型能否多生成几次，而是每一次纠错能否真正提高下一次解决问题的质量。

  VeriLoop E2则把这一理念推进到代码、数学与物理领域的后训练和复杂推理中，形成VGR（VeriLoop-Governed Recurrence）机制。该模型以Qwen3.8-27B为底座，由模型负责提出候选和推理方案，外部验证器负责判断其证据是否成立：只有所有受保护证据不退步、且至少一项严格改善时才提交新状态；否则回滚，获得零证据秩证书则停止。生成与验证的权力因此被分开，模型不能仅凭自我判断宣布成功。

  在VeriLoop E2对黎曼ζ函数零点比例的演示中，团队报告了67.350003708785593%的严格有限维计算机辅助证书。它成立于公开说明的解析框架及所引入条件之下，目前仍需补齐完整解析链条的Lean形式化证明，不等于解决黎曼猜想。对王立博而言，比一个数字更重要的，是让E2智能系统的探索、修正与结论都经受外部证据的检验。

下一程：走向真实落地应用场景

  未来，王立博计划继续主导开发编程智能体Voder与机器人具身认知大脑研发。前者希望让AI从生成代码走向能够规划、执行、验证和修复完整工程任务的智能体；后者则尝试让机器人结合空间、时间与行动后果进行推理，不只会执行动作，更要逐步理解何时行动、为何行动，以及行动后世界会发生什么变化。从模型评测到现实环境中的可靠应用，是他为自己选择的新一场挑战。

  谈及学弟学妹，王立博不希望作为老登给建议，他只是谈及自己的经历：“独立思考，忠于兴趣。不要被批评者和否定者绊住脚步，只做自己认为对的事，爱你老己”。回望来路，他感谢母校给予的四年时光，感谢曾经同行的朋友，也感谢那些质疑和否定过自己的对手。掌声与嘲笑终会散去，真正留下的是真实的人。他想对在校学子说：“希望每位从信院出发的同学，都能守住自己的兴趣爱好，菜就多练，干就完了。”

【母校回音】

  校友会记录校友的风采，王立博一个严重偏科的孩子，进了清华实验室；一个几乎没有代码基础的学生，主导研发了两款前沿模型，其中 E2 还在一项严格演示中拿到了 67.35% 的证书。这些成绩，他是怎么走过来的，没人给他铺路，他就自己找路；别人拿标签框他，他拿作品说话。

  我们常说，信院想培养的，不是只会答标准答案的孩子，而是敢自己找问题、自己找答案的人。王立博用十年证明了这件事：兴趣是最好的老师，自学是最硬的本事，专业的边界，从来不是人生的边界。他还把做研究的精神带给了在校学子：独立思考，忠于兴趣，不要被否定者绊住脚步。愿每一个信院人，都能像他一样：守住兴趣，自己找路，让结果说话。

素材提供：王立博

供稿：校友会