职位描述
快科技10月8日消息，北京时间10月7日，OpenAI对外公布了其内部前沿AI模型取得的多项数学研究成果。具体来说，OpenAI在Github平台上一次发布了722篇数学手稿，并按照结果相关性将其划分为372个“结果族（Result Families）”，涵盖理论计算机科学、数论、几何、数学物理等17个领域。这些成果包括在准黎曼假设、Hilbert第十个问题、四维挂谷猜想、Kaplansky相关猜想等重要数学问题上的进展，部分成果已有Lean形式化证明。OpenAI宣称，绝大多数结果均采用相同流程，使用尚未发布的内部模型获得，平均每个结果耗费相当于ChatGPT Pro三个小时的计算量。在评估