戻る

NEAR AI、PutnamBench全672問を111ドルで解決

検証中
  • アレックス・スキダノフ氏は、NEAR AIのオープンソースLeanエージェントがPutnamBenchの全672問を解いたと発表した。
  • NEAR AIはベンチマークを111ドルで完了した一方、2番目に安かった提出例は250倍のコストがかかった。
  • PutnamBenchは2024年に導入され、Lean 4でコード化された問題を用いている。
NEAR
当サイトの情報はAIを用いて生成されており、正確性を保証するものではありません。 参考情報としてご活用ください。