据 NEAR Protocol 联合创始人 Alex Skidanov 称,9月6日,NEAR AI 的开源 Lean 智能体以 111 美元的成本解决了 PutnamBench 基准中全部 672 道题,而竞争系统则需要 25,000 美元或更多——成本优势达 250 倍。PutnamBench 是一个面向 AI 定理证明器的正式评估套件,其问题以 Lean 4 编码,需要机器可验证的数学证明。成本的急剧降低使更多人能够使用 AI 验证工具,并支持 NEAR 围绕机密和可验证 AI 基础设施的愿景。
According to investing.com and Reuters, on Sept. 4, the Japanese yen surged 2% against the dollar in a week—its strongest weekly performance since July—as traders increased bets on a Bank of Japan rate hike at the Sept. 17-18 meeting. Meanwhile, the Colombian peso (COP) strengthened sharply to approximately 3,136 per dollar, down 2.7% from Aug. 31, driven by Colombia's 12% policy rate and rising oil prices above $90. Mexico's peso (MXN) slipped below 16.90, with the revived "super peso" near its