据监测,AI研究机构Epoch AI披露,OpenAI已购买其“FrontierMath: Open Problems”验证器的访问权限。
关于验证器
- “FrontierMath: Open Problems”是一组至今未被解出的研究级数学难题。
- 每道题配有一个专用计算机程序(验证器),可自动检验潜在解的正确性。
- OpenAI购买后,可用其检查自家模型生成的数学解是否有效。
访问与使用条件
- 验证器访问权限向任何机构开放购买,主要成本用于支付数学家报酬。
- 通过验证器发现有效解的一方,必须将结果通知Epoch AI,且问题作者与发现方共享联合发表权。
背景信息
Epoch AI强调,OpenAI曾资助原始FrontierMath基准的创建,但“Open Problems”部分由Epoch AI独立开发和拥有。