当前搜索任务

"精确查找雷震、张平、邵智宏共3人。雷震核查复旦大学职位、轴对称不可压Navier-Stokes正则性及与侯一钊、周忆的代表工作；张平核查中国科学院数学与系统科学研究院职位、三维不可压Navier-Stokes适定性和正则性成果；邵智宏核查DeepSeek-Prover、DeepSeek-Prover-V1.5/V2与DeepSeekMath-V2中的公开作者身份、形式化数学数据合成和证明搜索贡献。分别给出专属人物报告、原始论文或机构页面和可识别头像；明确三人截至2026年9月都没有公开证据显示直接参与OpenAI此次Navier-Stokes证明。"

最佳匹配 (1 / 3)

雷

雷震

讲席教授、复旦大学应用数学中心主任、发展规划处处长 @ 复旦大学

★ ★ ★ ★ ★ 综合匹配度

预估联络成本: ￥2,000 此估值由 AI 根据候选人职级、全网公开联系方式留存率、以及最优引荐人的触达难度综合研判得出（计价单位：人民币），仅供决策参考。

AI 核心判断

复旦大学偏微分方程与流体方程代表学者，公开身份已能稳定确认。其代表工作集中于三维不可压Navier-Stokes、轴对称情形与非线性结构；与侯一钊合作提出关键稳定机制，与周忆共同完成获奖项目。截止2026年9月，未见其直接参与OpenAI此次Navier-Stokes证明的公开证据。

个人主页

联系方式

潜在引荐人 | 周忆

周忆是复旦数学特聘教授，也是雷震在不可压流体方程组方向的长期公开合作者与同校同领域同层级学者。请他转达学术交流或合作邀约，路径比冷启动直联更自然，且更容易验证需求严肃性。

主页线索 math.fudan.edu.cn/fa/2e/c30607a326190/page.htm

联系线索 y***@fudan.edu.cn

工作履历

●复旦大学数学科学学院讲席教授，长期从事流体力学偏微分方程研究

●复旦大学应用数学中心主任，推动应用数学与流体方程方向建设

●复旦大学发展规划处处长，属其最新公开校内管理职务之一

教育经历

●复旦大学数学科学学院博士，2006年毕业

项目经验

●与Thomas Y. Hou合作研究三维轴对称不可压Navier-Stokes方程稳定性与正则性

●与Yi Zhou等研究三维不可压Navier-Stokes方程helicity结构与全局解

●项目“不可压流体方程组的非线性内蕴结构”获2020年度国家自然科学奖二等奖（2021年公布）

张平

院长、党委书记、研究员 @ 中国科学院数学与系统科学研究院

★ ★ ★ ★ ★ 综合匹配度

AI 核心判断

中国科学院数学与系统科学研究院流体方程方向旗帜性学者，身份与职位已由官方页面稳定确认。公开材料明确其在三维各向异性不可压Navier-Stokes整体适定性、单分量正则性准则等方面做出代表成果。截止2026年9月，未见其直接参与OpenAI此次Navier-Stokes证明的公开证据。

个人主页

联系方式

潜在引荐人 | 黄飞敏

黄飞敏是中科院数学院同机构研究员，长期从事偏微分方程基础理论研究，和张平处于同一学术生态且层级接近。通过他发起学术合作或闭门交流邀约，更容易被视为专业对专业的正式触达。

主页线索 people.ucas.ac.cn/~0003669?language=en

联系线索 f***@amt.ac.cn

工作履历

●2003年起任中国科学院数学与系统科学研究院研究员，长期研究非线性偏微分方程与微局部分析

●2024年起任中国科学院数学与系统科学研究院院长

●2026年8月官方公告显示其任院长、党委书记

教育经历

●南京大学博士

●中国科学院数学所博士后

项目经验

●提出新函数空间框架，证明三维各向异性不可压Navier-Stokes方程在特定条件下存在整体唯一解

●证明三维Navier-Stokes方程一个速度分量的临界范数可控制解的正则性

●围绕不可压缩Navier-Stokes方程适定性和正则性开展系统研究并获国家自然科学二等奖等荣誉

邵智宏

研究科学家 @ DeepSeek

★ ★ ★ ★ ★ 综合匹配度

预估联络成本: ￥5,000-￥10,000 此估值由 AI 根据候选人职级、全网公开联系方式留存率、以及最优引荐人的触达难度综合研判得出（计价单位：人民币），仅供决策参考。

AI 核心判断

DeepSeek 数学推理与形式化证明方向核心公开作者之一，个人主页与论文作者表能稳定闭环。其贡献主线非常清晰：形式化数学数据合成、基于证明器反馈的强化学习、树搜索以及面向自验证数学推理的证明搜索。截止2026年9月，未见其直接参与OpenAI此次Navier-Stokes证明的公开证据。

个人主页

联系方式

潜在引荐人 | Junxiao Song

Junxiao Song 与邵智宏在 DeepSeek-Prover-V1.5、V2 与 DeepSeekMath 相关项目中多次共同署名，属于最自然的项目侧连接人。请他转发研究合作、论文交流或招聘邀约，比直接冷启动更容易获得回应。

主页线索 github.com/junxiaosong

工作履历

●DeepSeek研究科学家，聚焦可自改进系统、工具使用与推理

●长期参与数学推理、形式化证明与证明搜索相关模型研究

●此前学术训练来自清华大学计算机系 CoAI 团队

教育经历

●清华大学计算机科学博士

项目经验

●DeepSeek-Prover：以大规模合成Lean4数据推动形式化定理证明

●DeepSeek-Prover-V1.5：引入proof assistant反馈强化学习与Monte-Carlo tree search

●DeepSeek-Prover-V2：通过子目标分解与强化学习桥接非形式化与形式化证明

●DeepSeekMath-V2：面向自验证数学推理，引入更强验证器与证明生成-验证闭环

当前搜索任务

雷震

AI 核心判断

工作履历

教育经历

项目经验

最近新闻报道

张平

AI 核心判断

工作履历

教育经历

项目经验

最近新闻报道

邵智宏

AI 核心判断

工作履历

教育经历

项目经验

最近新闻报道

想获得更完整的找人结果？