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

他是该路线中最被反复点名的年轻核心作者。2023 年与 Diego 的 3D Euler 结果、2024 年 smooth-source IPM、2025 年 Boussinesq 工作构成从 rough forcing 向 smooth forcing 演化的关键台阶；Buckmaster 甚至公开称，以这组工作看，Luis 值得极高层级的学术评价。

他是当代流体方程与凸积分领域最有代表性的中生代数学家之一，因与Vlad Vicol关于三维Navier-Stokes弱解不唯一性的工作获2019 Clay Research Award。2026年他与Levent Alpöge公开的成果聚焦强迫项下爆破与Euler奇性推进，而不是宣称已独立完成Clay原题。

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

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

OpenAI现任首席研究官，兼具一线研究与组织统筹能力，成长路径横跨MIT、量化交易与多模态前沿研究，是OpenAI把能力前沿推向产品化的关键人物。

他是 OpenAI 近一年最醒目的“数学+大模型研究”代表人物之一，既有凸优化与学习理论底子，也深度参与 GPT-4/科学加速叙事。在本次 Navier-Stokes 事件中，他更像项目领衔解释者与对外协调者，而非已公开确认的个人署名作者。

公开报道已稳定确认他在 Navier-Stokes 发布会中代表 OpenAI 做核心技术解释，并被称作 OpenAI 的 mathematician / computer scientist。其更强的既往公开学术足迹指向理论物理与数学化推理背景，但截至 2026 年 9 月尚未检到 OpenAI 官方人物页统一披露全名与职称。

他是这条“以外力构造有限时间奇性”路线的源头级人物之一。2023–2026 年间与 Luis Martínez-Zoroa 等人连续推进 3D Euler、IPM、Boussinesq 与 gSQG 的 blow-up 机制；Buckmaster 公开声明更直接把 Levent 合作路线的基本想法归功于他与 Luis。

已确认她是 Salesforce 现任 President & Chief Revenue Officer，公开职责是统领全球销售、分销与伙伴生态，并推动 Salesforce 在 agentic 时代的销售模式重塑。用户提到的“销售试点负责人”有公开旁证，但其更高置信主身份已升级为公司级营收负责人。

他是公开可验证的 Headless 360 核心产品负责人之一。Salesforce Admins 连续内容将其标注为 AI Application Development Platform 的产品管理高级副总裁，并明确写到他与团队在把 Salesforce 平台转译为可供 AI agent 调用的 MCP、skills 与 metadata，和 Claude 生态高度相关。

他是 Salesforce 现任平台与工程一号位，职责明确覆盖 Global Engineering 及 Salesforce Platform，并直接囊括 Headless 360、Data 360、MuleSoft、Security 等关键底座。就本次 Claude/Salesforce 平台语境看，他是最核心的平台决策与整合负责人之一。