上海人工智能实验室
数学研究级推理青年研究员/工程师
岗位职责
参与实验室书生大模型数学研究级推理智能体的强化学习与自进化研究，提升模型在复杂数学问题分析、证明推导和研究探索等场景中的自主推理能力。具体工作内容包括：
参与数学研究级推理智能体的强化学习算法研发，面向定理证明、猜想探索、数学问题分析、证明验证和研究思路生成等任务，提升模型的复杂推理能力；
研究适用于数学研究场景的奖励建模、过程监督、结果校验和环境反馈机制，探索对数学推理过程进行细粒度评价和有效优化的方法；
参与数学研究级推理智能体的自进化训练流程建设，围绕问题生成、解题规划、证明执行、结果验证、反思修正和经验积累等环节，构建闭环迭代机制；
参与构建高质量数学研究推理数据集、任务集和评测体系，覆盖数学知识理解、长链条推理、形式化证明、开放性问题探索等能力维度；
基于数学专业知识分析模型在复杂推理过程中的错误模式、能力瓶颈和泛化问题，并从算法、数据和训练流程等角度提出优化方案；
参与文本和智能体强化学习相关技术研发，推动数学研究级推理方案在不同模型规模和任务场景中的实验验证与工程落地；
跟踪 AI for Math、大模型推理、智能体强化学习及自进化等方向的前沿研究，推进相关方法的复现、改进和应用。
任职要求
硕士及以上学历，数学、计算机科学、人工智能、统计、电子工程等相关专业优先，数学或计算机方向博士优先；
具备扎实的数学基础和较强的数学推理能力，对纯数学、应用数学或数学计算研究有深入了解；
熟悉大模型后训练、强化学习和智能体相关技术，了解文本强化学习、环境反馈强化学习、奖励建模或过程监督等方法；
熟练使用 Python、PyTorch 等工具，具备较强的科研编程和实验分析能力；
具备较强的论文阅读、问题抽象、算法设计和结果分析能力，能够将数学问题转化为可评测、可训练和可迭代的任务；
对 AI for Math、数学研究级推理智能体和人机协同数学研究具有浓厚兴趣；
目标导向、自驱力强，具备良好的沟通协作和项目推进能力；
有数学科研、定理证明、形式化数学、数学竞赛、顶会论文或大模型推理相关经验者优先。
信息来自企业官方招聘渠道
OfferSeek 对公开岗位信息进行聚合、去重和结构化整理，最终申请以企业官方页面为准。