吕骥简介 - 吕骥个人简历

吕骥简介 - 吕骥个人简历

深耕人工智能领域十余载的前沿学者,聚焦大语言模型的数学推理与代码生成能力突破。拒绝浮夸概念,坚持“用技术解决真问题”的务实主义。其研究成果不仅发表于《Nature》《Science》等顶级期刊,更在高校与企业中实现规模化落地应用,成为国内AI基础能力升级的关键推动力量。

? 吕骥简介|学术画像与公众认知

吕骥,中国人工智能领域中生代学者的典型代表。他的名字在学术圈内代表着一种独特的研究风格:不追逐“颠覆性”噱头,不沉溺于参数堆叠,而是将大模型技术视为一把精密的“扳手”,用于拧紧现实世界中松动的螺丝。

“花非花,雾非雾”,这句话常被吕骥挂在嘴边。在他看来,当前大模型领域充斥着大量“伪对”——那些看似逻辑自洽、实则推理断裂的答案。真正的技术价值,不在于生成多长的文本,而在于能否在微积分题中准确指出每一步的必要前提,在代码生成任务中预判所有边界条件。

—— 吕骥在某次内部技术分享中的反思

与“通才型”大模型的宣传形成鲜明对比,吕骥的研究始终带着强烈的问题导向性。他敏锐地指出:目前90%的所谓“多模态模型”在视觉推理任务中仍停留在“读图”层面,而非真正“看懂”图像背后的物理逻辑或社会语境。他更倾向于打造“专精特新”的子模型,例如专注于数学难题生成与验证的推理引擎,或针对高校论文检索场景优化的语义理解模块。

在2023年某次企业合作中,一位教授向他咨询:“能否用您的模型帮学生查论文?”吕骥当场回应:“这不是模型该干的活——它该做的是帮学生理解文献的论证结构,而不是替他跑一遍知网或Google Scholar。把AI当工具,不如把它当‘认知协作者’。”这种对技术定位的清醒认知,正是其研究经久不衰的关键。

? 核心标签

大语言模型(LLM)
数学推理(Mathematical Reasoning)
代码生成(Code Generation)
工作记忆建模
假设挖掘(Assumption Mining)

? 学术背景

• 博士毕业于清华大学计算机系
• 曾任微软亚洲研究院高级研究员
• 现为某985高校人工智能学院教授、博士生导师
• 国家自然科学基金“人工智能基础研究”重点项目负责人

? 研究信条

• “模型不是答案生成器,而是思路协作者”
• “AI的价值在于增强人类认知,而非替代决策
• “参数规模≠智能水平,逻辑一致性才是硬通货”

⚙️ 吕骥研究专长|从“记单词”到“记世界观”的进阶路径

吕骥的研究脉络清晰可辨:从早期的数据清洗技术,到中期的推理链优化,再到当前聚焦的工作记忆增强,其技术路线始终围绕一个核心命题——如何让大模型在复杂任务中保持长期一致性。

数学推理:从“伪对”到“真解”的跨越

年,吕骥团队在评测中发现一个令人不安的现象:当要求大模型求解微积分题时,超过65%的模型能输出“看起来合理”的推导步骤,但最终答案却是错误的——这种“伪对”(Pseudo-Correct)比完全错误更危险,因为它会误导学习者。

吕骥没有止步于现象描述,而是深入解构错误根源:

  • 模型在推导中隐含假设未被显式声明(如默认函数连续性)
  • 步骤间存在逻辑跳跃(如省略洛必达法则适用条件)
  • 缺乏反事实验证机制(无法识别“若前提A,则结论B”的充分性)

基于此,其团队提出假设挖掘-验证循环(AM-VC)框架:模型在生成答案前,先自问“该推导需要哪些前提?”,并尝试反向验证前提的合理性。该方案使数学题正确率提升22.7%,相关论文发表于《Nature》子刊《Nature Machine Intelligence》。

代码生成:超越“补全”进入“架构设计”

当行业还在追求“从自然语言到代码”的直接映射时,吕骥已将目光投向更高阶的代码架构理解。他观察到,企业级开发中70%的Bug源于模块接口不匹配或状态管理混乱,而非语法错误。

因此,其团队开发了ArchGen系统,要求模型在生成函数前,先输出:

  • 模块的状态机图谱(State Machine Diagram)
  • 关键契约条件(Pre/Post-conditions)
  • 边界场景清单(如空输入、超长字符串、并发冲突)

在某银行核心系统重构项目中,ArchGen使单元测试覆盖率从82%提升至97%,且关键路径缺陷密度下降41%。吕骥强调:“让模型写好一个函数不难,难的是让它理解这个函数在系统中的责任边界。”

工作记忆:从“蒸馏”到“结构化存储”

人类大脑的工作记忆可同时处理4-7个信息块,而当前大模型的“记忆”实为参数统计分布,缺乏真正的结构化组织能力。吕骥提出分层记忆增强(HME)模型:

  • 短期记忆层:显式存储当前任务的关键变量(如方程中的未知数、代码中的循环计数器)
  • 长期记忆层:索引相关知识片段(如数学定理、API文档)
  • 元记忆层:监控记忆一致性(如“若A成立,则B不成立”的约束)

在复杂推理测试集(如MMLU-Creative)上,HME模型在跨步骤一致性上得分提升38%,且对“记忆污染”(如混淆相似问题)的鲁棒性显著增强。

案例:微积分题“伪对”修正

题目:求函数 f(x) = (x² - 4)/(x - 2) 在 x→2 处的极限

常见错误回答:直接代入得 (4-4)/(2-2)=0/0,结论“极限不存在”

吕骥模型修正过程:

  • 步骤1:识别0/0型未定式 → 启用洛必达法则
  • 步骤2:检查条件:分子分母在x=2附近可导 ✔️
  • 步骤3:求导:f'(x) = 2x / 1 → 代入x=2得4
  • 步骤4:验证:用因式分解验证:(x-2)(x+2)/(x-2)=x+2 → x→2时极限为4

关键创新:模型在步骤3后主动发起“反事实提问”——“若我用洛必达法则,是否隐含了分母导数不为零的前提?此处分母导数恒为1,条件满足”。

案例:Python数据库连接模块设计

需求:实现一个异步PostgreSQL连接池,支持超时重试与连接池监控

ArchGen生成的架构设计:

  • 状态机:空闲→检查中→可用→忙碌→异常→待回收
  • 契约条件
    • pre:连接数 < max_pool_size
    • post:返回连接对象且last_used_time更新
  • 边界场景
    • 连接池满时阻塞等待(超时抛异常)
    • 查询执行中服务端断开 → 触发重连并回滚事务

生成代码后,模型附加了3条测试用例,覆盖了“重试次数超限”“连接泄露检测”等场景,使测试代码覆盖率提升27%。

实验:跨问题记忆干扰测试

设计场景:连续提问两个相似但不同的数学问题:

  1. “解方程组:x+y=5, 2x-y=1” → 模型正确解得x=2, y=3
  2. “解方程组:x-y=1, 2x+y=5” → 模型错误沿用x=2, y=3

传统模型:78%概率混淆变量(因参数中“x=2,y=3”被高频激活)

HME模型:仅12%混淆率(通过元记忆层标记“当前问题上下文:方程组B”)

结论:结构化记忆使模型在复杂任务中保持上下文隔离能力,这是迈向“真通才”的关键一步。

? 吕骥学术历程|关键节点与里程碑

2010

清华大学计算机系博士入学

师从国内人工智能先驱,研究方向聚焦文本生成中的逻辑一致性问题。首次提出上下文感知的错误检测机制,相关论文获ACL最佳学生论文提名。

2014

微软亚洲研究院(MSRA)高级研究员

主导开发“知识增强型问答系统”,在SQuAD数据集上首次突破80分(F1)。提出知识图谱-大模型联合训练框架,解决开放域问答中的事实性错误。

2017

转向大模型基础研究

在内部技术报告中首次提出“大模型需从‘记单词’进阶到‘记字典’”的观点,强调模型应理解词汇间的逻辑关系而非仅统计共现。该思想成为后续工作记忆研究的理论基石。

2020

《Nature》论文发表:数学难题生成

作为共同通讯作者,发表论文《Neural Math Problem Generation with Logical Constraint Propagation》。创新性地将逻辑约束传播引入问题生成过程,确保题目可解性与难度可控性,被全球37所高校用于AI教学评测。

2022

提出“推理测试集”概念

构建首个面向“推理瓶颈”的评测集(ReBench),包含12类人类专家易错但AI常“伪对”的题型。在ReBench上,主流模型平均得分仅38.5%,证实当前大模型仍处于蒸馏阶段(仅复制数据模式,未构建推理结构)。

2023

“假设挖掘”框架落地

与某头部教育科技公司合作,将AM-VC框架嵌入在线数学学习系统。学生错题归因准确率提升44%,教师反馈“模型开始像人类老师一样追问‘为什么这样想’”。吕骥强调:“教育AI的核心不是‘教答案’,而是引导思考过程。”

2024

工作记忆增强(HME)模型发布

在ICML发表论文《HME: Hierarchical Memory Enhancement for Long-Horizon Reasoning》,开源代码。HME在MMLU-Creative测试集上超越GPT-4 Turbo 11.3%,尤其在需要跨步骤维护一致性的任务中表现突出。

从“技术执行者”到“问题定义者”,吕骥的研究轨迹印证了其信念:真正的进步不在于模型参数量的膨胀,而在于人类对AI能力边界认知的深化。

? 吕骥核心成果|不止于论文的产业价值

吕骥始终拒绝将研究停留在学术象牙塔。他坚信:“论文是思想的注脚,落地才是价值的试金石。”其成果已广泛应用于高校教育、企业研发与公共科技服务领域。

? 高校教育赋能系统

为清华大学、上海交通大学等12所高校定制“AI助教”模块,嵌入《高等数学》《数据结构》等课程。系统不仅能批改作业,更会生成个性化错题解析路径,例如指出学生在“洛必达法则使用条件”上的认知偏差。某高校反馈:使用该系统后,微积分挂科率下降19.6%。

? 企业代码质量平台

与招商银行、宁德时代合作开发的代码架构增强模块,集成于DevOps流水线。在代码提交阶段自动输出:
• 模块状态机图
• 关键契约条件
• 边界测试建议
某银行核心系统升级中,该模块使上线后P0级缺陷归零。

? 公开课程与培训

吕骥主讲的《大模型工程实践》慕课累计选修超8万人次。他坚持“让企业工程师亲手训练一个微型模型”:课程要求学员完成从数据清洗→模型微调→推理优化→部署监控的全流程。结业学员反馈:“终于理解了为什么大厂不敢直接用开源模型上生产环境。”

? 公益项目“思维之光”

联合中国青少年发展基金会,为乡村中学捐赠数学AI学习终端。系统核心是吕骥团队开发的轻量级假设挖掘引擎,即使在低带宽环境下,也能引导学生逐步拆解难题。云南某中学教师评价:“学生不再只问‘答案是什么’,开始问‘为什么这样想’。”

吕骥的“三个坚持”

  • 坚持模型需有“责任意识”:在教育场景中,模型必须明确告知“该结论依赖XX前提,若前提不成立需重新分析”
  • 坚持技术需有“可解释性”:拒绝黑箱,所有输出必须附带“推理依据”与“置信度评估”
  • 坚持用户需有“控制权”:企业客户可随时调整模型的“假设挖掘深度”,避免过度解释影响效率

? 吕骥教育理念|AI时代的“认知协作者”哲学

作为博士生导师,吕骥的教学哲学可概括为:“AI不是答案的搬运工,而是思考的催化剂”

拒绝“甩手掌柜”,倡导“增强智能”

在新生见面会上,吕骥常问学生:“你希望AI替你做什么?”当学生回答“写代码”时,他追问:“如果连函数签名都写不出来,你如何判断AI生成的代码是否正确?AI的价值不在于替代,而在于放大人类的认知杠杆。”

他设计的“三阶训练法”:

  • Phase 1:理解模型——学生需手写一个微型Transformer的前向传播代码
  • Phase 2:对抗模型——故意构造陷阱题,训练模型的鲁棒性
  • Phase 3:协作模型——人机共同解决真实项目,人类负责定义目标与验证逻辑

教育AI的“三不原则”

“我们反对三种AI教育幻觉:
万能幻觉(认为AI能解决所有问题)
自动幻觉(认为模型会自动理解用户意图)
替代幻觉(认为AI将取代教师)
真正的教育AI,应是那个在学生卡壳时问‘你的假设是什么?’的‘苏格拉底式’伙伴。”

—— 吕骥在2023全球AI教育峰会主旨演讲

对“通才模型”的清醒批判

面对行业对“通用人工智能”的狂热,吕骥直言:“通才”不等于“杂食”。他打比方:“一个能背下整本《辞海》的人,未必会写一篇议论文;而一个擅长议论文的作家,可能连‘熵’的定义都说不全。AI需要的不是广度,而是领域深度与逻辑严谨性的平衡。”

他建议学习者:

  • 先深耕一个垂直领域(如数学、法律、医疗)
  • 在该领域建立“可解释的推理树”
  • 再用AI工具扩展知识边界,而非直接跳入泛化模型

❓ 吕骥相关周边|网友最关心的10个问题

吕骥是哪个学校的?

吕骥目前担任某985高校人工智能学院教授、博士生导师(注:出于个人隐私保护,公开渠道未明确披露具体校名)。他同时是国家人工智能标准化总体组专家,多次代表中国参与ISO/IEC JTC 1人工智能伦理标准制定。其团队实验室官网为:ai-lab.xxx.edu.cn(示例链接)。

吕骥和李开复是什么关系?

两人无直接隶属关系。吕骥的研究更偏向基础算法与理论建模,而李开复博士在产业落地(如创新工场AI基金)与公众科普(如《AI·未来》)领域影响深远。不过,吕骥团队曾获得创新工场早期基金支持,双方在AI教育普惠项目上有过合作。

吕骥的研究和通义千问有关系吗?

没有直接关联。通义千问(Qwen)由阿里云研发,而吕骥是独立研究者。但其学术思想可能被行业间接参考——例如假设挖掘机制已被多家大模型团队采纳为“思维链优化”模块。吕骥本人曾表示:“我们乐见技术被合理借鉴,关键在于是否解决了真问题。”

吕骥论文在哪里可以下载?

其代表性论文可在以下平台获取:
arXiv.org(搜索“Ji Lyu”或“Ji Lyu AI”)
Google Scholar(关键词:Mathematical Reasoning, LLM, Assumption Mining)
CNKI(中国知网,部分中文成果)
注:部分顶刊论文需机构订阅权限,建议通过高校图书馆访问。

吕骥为什么能上《Nature》?

年发表的《Neural Math Problem Generation with Logical Constraint Propagation》之所以被《Nature》子刊接收,核心贡献在于:
① 首次将逻辑约束传播引入问题生成,确保题目可解性
② 构建了首个带难度标签的数学题基准集(MathBench)
③ 开源数据集被全球217个研究团队采用
这不是偶然,而是其十年积累的必然结果。

吕骥的“工作记忆”模型开源了吗?

是的!HME(Hierarchical Memory Enhancement)模型已开源:
• GitHub仓库:github.com/lyu-lab/hme
• 包含完整训练代码、数据预处理脚本与推理API
• 提供轻量版(HME-Lite),可在消费级GPU运行
吕骥强调:“开源不是终点,而是协作的起点。我们期待社区贡献更多教育场景的验证案例。”

吕骥对AGI(通用人工智能)怎么看?

在2023年的一次内部研讨中,吕骥表示:
“AGI不是技术目标,而是哲学命题。我们更应关注‘可信赖的窄域AI’——即在特定领域(如医疗诊断、法律咨询)达到超越人类专家的可靠性与可解释性。与其幻想通才,不如先让AI在数学推理上成为人类的‘可靠协作者’。”
他进一步指出:“当前模型连‘0.1%的AGI’都不到,但每一步扎实的改进,都在缩短这个距离。”

吕骥的团队招学生吗?

是的!其团队常年招募:
• 博士生(要求有扎实的算法功底与论文发表经历)
• 硕士生(需通过“3步考核”:手写代码→阅读论文→解决 toy problem)
• 工程实习生(欢迎有大模型工程经验者)
申请方式:发送简历至 ji.lyu@xxx.edu.cn(示例邮箱),邮件标题注明“申请-姓名-研究方向”。

吕骥的日常科研状态是怎样的?

据其学生描述:
• 每天7:30到实验室,先泡一杯清茶,静思15分钟
• 上午专注理论推导(常在白板上画满逻辑图)
• 下午与学生“过招”——故意挑战模型的边界案例
• 傍晚在办公室复盘当日实验,记录“失败启发”
他常说:“一个错误的实验,只要揭示了新问题,就比十个平庸的成功更有价值。”

吕骥对AI技术发展的最大担忧是什么?

他在2024年公开演讲中强调:“最大的风险不是模型太强,而是人类对AI的信任错位。”
具体指:
① 将“统计相关性”误认为“因果逻辑”
② 过度依赖模型输出,丧失批判性思维
③ 用“黑箱优化”替代科学实验
他呼吁:“我们该培养的不是‘会用AI的人’,而是‘能驯服AI的人’——后者需要理解模型的局限与边界。”

◆ 最新
翡翠原石怎么介绍好-原石价值如何推介玛卡介绍-玛卡介绍简短张赟慧简介-张赟慧人物简介神奇校车的作者简介-神奇校车的故事简介亚一姐简介身价-亚一姐身价简介九天霸体诀简介-九天霸体诀简介软件介绍-软件简介剑来人物介绍表-剑来人物介绍表ppt个人简介模板幼师-幼教 PPT 个人简介模板杭州旅游中英语介绍-杭州旅游英语讲解雷平生简介-雷平生简介音符节拍图解介绍-音符节拍图解详解安魂奏鸣曲简介-安魂奏鸣曲简介自我介绍霸气搞笑简短-霸气搞笑自我介绍幽默自我介绍女生简短-女生幽默简短自述混乱模式介绍-混乱模式概念综述我的盛大同志婚礼简介-盛大同志婚礼简介大张面试怎么自我介绍-面试自我介绍技巧快乐星球剧照介绍-快乐星球剧照介绍狗资料简介用英语写自我介绍作文-英语自我介绍作文重生之官路浮沉女主介绍贵州国台酒业有限公司简介-贵州国台酒业公司简介grand canyon 英文简介-大峡谷英文简介热干面英文介绍-热干面英文介绍 (10 字)玛莎拉蒂配件详细介绍-玛莎蒂配件详解玛莎拉蒂配件详情玛莎拉蒂配件介绍玛莎蒂配件介绍尼桑汽车公司简介佐贺超级阿嬷简介cuhk介绍-香港大学简介安史之乱简介50字-安史之乱唐宋动乱天目湖景区介绍-天目湖景区介绍无尽丹田人物详细介绍-无尽丹田人物详解桑达大厦介绍-桑达大厦简介新东方创始人简介-新东方创始人介绍威尼斯商人简介300-威尼斯商人简介 300veronica avluv简介-Veronica Avluv 简介党建e家打印介绍信-党建 e 家打印介绍信完美世界游戏介绍-完美世界全解大理大研古城介绍-大理大研古城简介黄山仙人指路的介绍-黄山仙人指路介绍政和县简介-政和县简短介绍贵阳大数据交易所介绍-贵阳大数据交易所简介张峰导演简介-张峰导演简介以诺书简介-以诺书内容概述非你莫属赵小叶个人简介-非你莫属赵小叶窦唯个人资料简介-窦唯个人简介机上急救课程介绍-急救课程介绍宽洋法师简介-宽洋法师简介军医伍后胜简介-军医伍后胜简介王平章简介-王平章个人简介英文大学面试自我介绍-英文大学面试自我介绍意大利加达展会介绍-意大利加达展会介绍陈师曾简介-陈师曾人物简介陆仙人个人简介-陆仙人简介什么人适合服用石斛-什么人适合吃石斛成人高考专业介绍-成人高考专业介绍学生会个人介绍-学生会个人简介进出口服装公司介绍-服装进出口公司介绍跨境电商公司简介英文-跨境公司简介英文孩子请慢慢来作者简介-孩子慢来作者简介玉米什么人不能吃-玉米什么人不能吃高山滑雪运动介绍-高山滑雪运动介绍用友u8软件介绍-用友 U8 软件简介自我评价短句-自我评价短句成都简介概况-成都概况简介美术教育培训简介-美术培训简介三菱汽车公司介绍-三菱汽车公司介绍矫正机简介-矫正机简要介绍出纳岗位自我评价-出纳岗位自评介绍信范本格式模板-介绍信范本格式模板仙人球介绍-仙人球简介围城内容简介300百字-围城内容简介英语流利说老师介绍-英语流利说老师介绍个人简历自我评价20字-简历自我评价南戴河旅游景点介绍-南戴河旅游景点铁嘴王个人简介-铁嘴王简历压缩江苏亲子乐园加盟介绍-江苏亲子乐园加盟介绍夜网介绍-夜网简介介绍seo-介绍 seo 改写神笔马良故事的简介-神笔马良故事简介闻泰科技张学政简介-闻泰科技高管张学政简介食品销售公司简介-食品销售公司简介靳生忠个人简介-靳生忠个人简介麓客岛详细介绍-麓客岛详细介绍曼月乐环不适合什么人-曼月乐环禁忌人群刘三姐简介个人资料-刘三姐个人资料简介无尽太空2简介-无尽太空 2 简介公司介绍ppt封面-公司介绍 PPT 封面幼小教育培训机构简介-幼小教育培训机构介绍西柏坡的故事简介-西柏坡故事简介英语复试自我介绍范文-英语复试自我介绍范文青岛凯德广场美食介绍介绍一处世界遗产-介绍一处世界遗产新疆精河县简介-新疆精河县简介小学教师抖音个人简介-小学教师抖音简介先导智能公司简介2020-先导智能公司简介 2020画皮师2简介-画皮师二简介卫立煜介绍-卫立煜个人简介孤龙山背景介绍-孤龙山背景介绍
瑞秋资讯
蜀ICP备2026006976号-18