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 资助。