关于此职位
协助界定前沿 AI 模型如何进行数学推理。
1\. 概述
我们正在寻找资深数学家，以改进前沿 AI 模型对真实数学研究的推理方式。
您的数学判断力是这个职位的核心。您将审查数学推理任务和模型输出的质量，撰写定义“正确”标准的题目规范、参考解答和证明，并设计能够表明模型是否真正在进步的基准。我们寻找的是在职的专家，而不是通才。
该职位完全远程。
2\. 主要职责
- 专家审核：评估数学任务和模型输出，发现证明中的漏洞、缺乏依据的步骤、错误的推广，以及读起来不错但经不起同行评审的论证。
- 题目规范与参考解答：撰写精确的题目陈述以及严谨的参考解答和证明，反映研究型数学的实际做法。
- 基准：在您的专业领域设计具有挑战性的、研究级别的题目和评估集。
- 校准：与其他研究人员及相邻领域的专家合作，将隐性的专家判断转化为明确、可传授的准则。
3\. 核心资质
- 学历：数学、应用数学、统计学、运筹学或密切相关领域的博士学位。
- 资历：在大学、国家实验室或研究机构担任教职、首席研究员（PI）、正式科学家或高级科学家，或同等的高级研究职务。
- 领域深度：至少在一个领域具有真正的专长，例如分析与偏微分方程（PDE）、代数与数论、几何与拓扑、概率与统计，或应用数学与优化。
- 研究成果：拥有出色的同行评审发表记录。获得竞争性研究资助或奖项等荣誉者优先。
- AI 熟练度：在工作中实际使用过大语言模型，并具备分辨可靠论证与听起来合理但实际错误的论证的判断力。
- 沟通：出色的书面沟通能力，能够给出精确、条理清晰的反馈。
- 所在地：常驻美国。