返回

NEAR AI以111美元解决PutnamBench的672道题

正在验证中
  • Alex Skidanov宣布，NEAR AI的开源Lean智能体已解决全部672道PutnamBench题目。
  • NEAR AI以111美元完成了该基准测试，而第二低成本的提交高出250倍。
  • PutnamBench于2024年推出，使用以Lean 4编码的题目。
NEAR
本网站上的信息是使用AI生成的，我们无法保证其准确性。 请仅作为参考信息使用。