NEAR AI用DeepSeek V4解出全部672道PutnamBench题,单题成本0.17美元

【NEAR AI用DeepSeek V4解出全部672道PutnamBench题,单题成本0.17美元】金色财经报道,据NEAR Protocol联合创始人Alex Skidanov及官方披露,NEAR AI的Agent已解出PutnamBench全部672道数学题,总花费约111.85美元,平均单题0.17美元。该基准将北美顶级本科数学竞赛(William Lowell Putnam)题目形式化,要求以Lean 4证明助手语言写出无语法漏洞、可被机器100%验证的证明代码,对应计算机科学中的形式化验证,即用数学逻辑证明智能合约在所有可能状态下不出错。据MSBIntel整理的数据,使用OpenAI GPT-5.6的单题平均成本为44.5美元,Anthropic Claude Opus 5为3.52美元,NEAR采用的DeepSeek V4方案将成本压缩至GPT-5.6的约二百五十分之一。相关代码已开源,NEAR方面称下一步将把该工具用于NEAR协议自身及核心智能合约的安全验证。()
热门交易所
排名 # 交易平台 24H成交额 成交涨跌幅 活跃度 交易平台 活跃度
1 $182.30亿 -11.7% 86.7% 86.7%
2 $26.25亿 0.43% 68.6% 68.6%
3 $412.34亿 -8.18% 85.4% 85.4%
4 $8.98亿 -15.49% 69.3% 69.3%
5 $110.46亿 -6.65% 65.3% 65.3%
6 $12.36亿 -8.51% 53.3% 53.3%
7 $2.10亿 18.62% 65.3% 65.3%
8 $7.24亿 -8.66% 68.4% 68.4%
9 $2.85亿 -21.25% 56.9% 56.9%
10 $71.95亿 0.5% 71.1% 71.1%
11 $4.35亿 5.25% 36.2% 36.2%
12 $2,999.72万 -17.92% 59.5% 59.5%
13 $221.17亿 -0.43% 31% 31%
14 $108.67亿 1.29% 76.2% 76.2%
15 $1.43亿 -9.52% 66.9% 66.9%
16 $105.56亿 -12.13% 55.2% 55.2%
17 $11.78亿 -6.34% 26% 26%
18 $16.05亿 26.63% 46.9% 46.9%
19 $1.11亿 -10.75% 31.5% 31.5%
20 $1,684.04万 -21.3% 58.2% 58.2%
今日行情
排名 # 币种 最新价 24H最高 24H最低 24H量 流通市值 24H涨跌幅 币种 最新价 24H涨跌幅
1 $ 80292.7 $8.10万 $7.94万 $5.02亿 $1.60兆 -0.13% -0.13%
2 $ 2328.74 $2,365.19 $2,293.12 $1.73亿 $2,810.64亿 -0.06% -0.06%
3 $ 1.2889 $1.31 $1.27 $2,956.56万 $785.16亿 -0.37% -0.37%
4 $ 740 $744.10 $732.30 $684.39万 $1,009.06亿 -0.16% -0.16%
5 $ 1.0013 $1.00 $1.00 $4,646.43万 $708.07亿 0.02% 0.02%
6 $ 101.39 $102.27 $99.90 $6,995.70万 $574.42亿 0.63% 0.63%
7 $ 0.3309 $0.33 $0.33 $191.54万 $313.42亿 0.54% 0.54%
8 $ 0.07704 $0.08 $0.08 $1,547.04万 $129.60亿 0.66% 0.66%
9 $ 279.6 $284.48 $271.60 $63.35万 $55.86亿 2.64% 2.64%
10 $ 77.01 $77.66 $74.98 $2,223.96万 $261.33亿 1.42% 1.42%
11 $ 0.20445 $0.21 $0.20 $216.61万 $73.50亿 0.45% 0.45%
12 $ 80227.6 $8.06万 $7.93万 $2,009.07 $103.43亿 0.07% 0.07%
13 $ 8.975 $9.02 $8.89 $809.43 $82.72亿 -0.26% -0.26%
15 $ 0.16879 $0.17 $0.17 $69.61万 $54.71亿 -0.04% -0.04%
16 $ 56.58 $57.34 $56.00 $366.42万 $43.41亿 0.78% 0.78%
17 $ 0.07722 $0.08 $0.08 $107.39万 $33.04亿 0.86% 0.86%
18 $ 1224.8 $1,241.81 $1,177.83 $1,847.23万 $201.80亿 2.64% 2.64%
19 $ 8.943 $8.98 $8.77 $171.65万 $38.48亿 1.54% 1.54%
20 $ 0.000004842 $0.00 $0.00 $14.35万 $28.53亿 -0.1% -0.1%
21 $ 0.9146 $0.93 $0.90 $894.62万 $34.68亿 0.2% 0.2%
22 $ 0.05398 $0.06 $0.05 $18.00万 $20.84亿 -0.93% -0.93%
23 $ 0.05298 $0.05 $0.05 $39.22万 $14.17亿 0.03% 0.03%
24 $ 7.004 $7.11 $6.67 $679.12万 $44.49亿 4.81% 4.81%
25 $ 1.022 $1.05 $1.00 $146.73万 $16.90亿 0.55% 0.55%
26 $ 0.5166 $0.53 $0.51 $12.70万 $16.80亿 1.11% 1.11%
27 $ 4025.31 $4,031.85 $3,993.83 $27.22万 $15.33亿 0.59% 0.59%
28 $ 0.7105 $0.71 $0.70 $275.35万 $17.73亿 0.98% 0.98%
29 $ 135.12 $138.96 $133.60 $759.52万 $20.69亿 -0.41% -0.41%
30 $ 0.0000016169 $0.00 $0.00 $4,189.94 $16.17亿 0.45% 0.45%
31 $ 250.77 $255.27 $246.84 $163.34万 $26.50亿 1.44% 1.44%
32 $ 108.78 $109.50 $106.43 $181.62万 $22.84亿 2.09% 2.09%
33 $ 0.000004374 $0.00 $0.00 $1,543.67万 $18.40亿 -1.48% -1.48%
34 $ 7.513 $7.59 $7.40 $21.28万 $11.65亿 0.33% 0.33%
35 $ 4.545 $4.70 $4.39 $2,592.36万 $58.38亿 3.24% 3.24%
36 $ 2.598 $2.66 $2.56 $47.86万 $14.19亿 0.03% 0.03%
37 $ 0.07592 $0.08 $0.07 $40.58万 $6.36亿 0.1% 0.1%
38 $ 0.4379 $0.46 $0.43 $1,368.98万 $11.85亿 -1.46% -1.46%
39 $ 1.638 $1.66 $1.61 $8.51万 $7.97亿 1.92% 1.92%
40 $ 0.9981 $1.00 $1.00 $493.39万 $9.81亿 0.02% 0.02%
41 $ 0.20449 $0.21 $0.19 $1,081.85万 $16.27亿 6.32% 6.32%
42 $ 0.998 $1.00 $1.00 $6,342.14 $8.54亿 0.06% 0.06%
43 $ 0.03539 $0.04 $0.04 $70.72万 $9.59亿 -0.75% -0.75%
44 $ 218.32 $219.72 $180.71 $328.90万 $26.36亿 20.79% 20.79%
45 $ 0.10473 $0.11 $0.10 $6.97万 $9.26亿 2.26% 2.26%
46 $ 0.006049 $0.01 $0.01 $4.89万 $5.00亿 -0.78% -0.78%
47 $ 0.03351 $0.03 $0.03 $46.98万 $6.39亿 5.27% 5.27%
48 $ 0.6956 $0.71 $0.69 $32.46万 $5.23亿 0.47% 0.47%

快讯

更多