加密知识一站通
行情·工具·策略

OpenAI购买未解数学难题验证器,可自动检验AI解题是否正确

据 动察Beating 监测,AI 研究机构 Epoch AI 披露,OpenAI 已购买其 FrontierMath: Open Problems 验证器的访问权限。FrontierMath: Open Problems 是一组至今未被专业数学家解出的研究级数学难题,每道题都配有一个专用计算机程序(验证器),虽然目前无人知道正确答案,但一旦有人(或 AI)给出潜在解,验证器可以自动检验其正确性。OpenAI 购买该权限后,可以用验证器检查自家模型生成的数学解是否有效。

验证器的访问权限向任何机构开放购买,主要成本用于支付数学家报酬,因为制定问题和编写验证器的过程非常耗费人力。Epoch AI 同时设定了一项条件:凡通过验证器发现有效解的一方,必须将结果通知 Epoch AI,且问题作者与发现方共享联合发表权。

Epoch AI 强调,OpenAI 此前曾资助原始 FrontierMath 基准(Tiers 1-4)的创建,但 Open Problems 部分由 Epoch AI 独立开发和拥有,试点阶段由 Schmidt Sciences 资助。

赞(0)
未经允许不得转载:币须知道 » OpenAI购买未解数学难题验证器,可自动检验AI解题是否正确

评论 抢沙发

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址