关于此职位
关于 Turing： Turing 总部位于美国加利福尼亚州旧金山，是全球领先的前沿 AI 实验室研究加速器，也是全球企业部署先进 AI 系统的可信赖合作伙伴。Turing 通过两种方式为客户提供支持：其一，凭借高质量的数据、先进的训练流水线，以及专注于编程、推理、STEM、多语言、多模态和智能体的顶尖 AI 研究人员，加速前沿研究；其二，运用这些专业能力，帮助企业将 AI 从概念验证转变为专有智能，让系统可靠运行、产生可衡量的 关于通过运用高级数学推理、解决问题的能力、计算思维和清晰的书面沟通来改进和评估大语言模型的项目 影响，以及损益表上的持久成效。
职位概述。
- 在该职位中，您将参与通过运用高级数学推理、解决问题的能力、计算思维和清晰的书面沟通来改进和评估大语言模型的项目。
- 理想的候选人应具备扎实的数学基础，尤其是工程入学考试以及研究生或博士项目所要求的水平。
- 您应能够将复杂的数学概念拆解为简单、清晰的讲解，并高效工作。
- 该职位还包括计算类项目，您将设计精确的封闭式提示词，编写可靠的 Python 代码，验证数值答案，并提供清晰的推理依据。
- 这些项目还将帮助您学习如何利用 AI 成为更出色的分析师。这是您在 AI 优先的世界中为职业生涯做好准备的机会！
日常工作内容：
- 设计原创且具有挑战性的数学问题，检验大语言模型的推理极限，尤其是在多步骤、抽象和基于证明的场景中。
- 独立解决问题，并撰写详尽、逻辑结构清晰、论证明确的解答。
- 审阅模型生成的解答，识别数学错误或缺失的论证，并提供精确的反馈、标注和更正。
- 参与基于从本科低年级到博士水平主题的数学课程体系，定义新的评估基准。
- 使用经批准的科学库，开发并验证基于 Python 的计算任务解决方案。
- 使用 Lean 处理定理证明器任务，包括将数学问题和证明翻译为形式语言，并验证形式化证明能够正确编译。
要求：
- 分析能力：良好的研究和分析能力
- 反馈能力：能够提供建设性反馈和详细的标注。
- 创造性思维：具备创造性思维和横向思维能力。
- 沟通：在远程环境中具备出色的结构化沟通和协作能力。
- 独立性：积极主动，能够在远程环境中独立工作。
- 技术配置：配备台式机/笔记本电脑，并拥有良好的互联网连接。
优先资质：
- 正在攻读数学、应用数学、统计学或相关领域硕士/博士/博士后学位的候选人均符合条件，欢迎申请。
- 能够以结构化和合乎逻辑的方法分析并解决复杂的数学问题。
- 能够使用简单的语言、可视化图示和示例清晰地解释数学概念。
与 Turing 合作做自由职业者的福利：
- 在完全远程的环境中工作。
- 有机会与领先的 LLM 公司合作，参与前沿 AI 项目。
- 根据表现和项目需要，合同有可能延期。
录用详情：
- 投入要求：每天至少 4 小时，每周至少 20 小时，与 PST 有 4 小时的重叠时间。（我们提供 3 种投入时间选项：每周 20 小时、每周 30 小时或每周 40 小时）
- 合作类型：合同工任务/自由职业者（不含医疗/带薪假期）