NEAR AIのLean Agent、PutnamBench全672問を111ドルで解決 競合の250分の1のコスト
NEAR Protocolの共同創設者であるAlex Skidanov氏によると、9月6日、NEAR AIのオープンソースのLeanエージェントは、PutnamBenchベンチマークの全672問をわずか111ドルで解決した。これは、競合システムにかかる25,000ドル超と比べ、250倍のコスト効率に相当する。PutnamBenchはAI定理証明システム向けの正式な評価スイートであり、各問題は機械検証可能な数学的証明を必要とするLean 4で符号化されている。この劇的なコスト削減により、AI検証ツールへのアクセスが広がり、機密性と検証可能性を備えたAIインフラというNEARのビジョンが後押しされる。
GateNews·09-06 17:02
