NEAR AI用DeepSeek V4解出全部672道PutnamBench題，單題成本0.17美元
來源 Jinse_news
金色財經報道，據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協議自身及核心智能合約的安全驗證。
免責聲明：僅供參考。 過去的表現並不預示未來的結果。
推薦文章
兩記重拳砸向澳元：美國 9 月 CPI 偏熱推升美元，今日澳洲 9 月就業又意外大減 39,300 人、失業率 4.7% 創 2021 年 10 月以來最高。AUD/USD 自週內高位 0.7015 回落，盤中低見 0.69448、發稿報 0.69504（−0.32%），0.6940 防線與 200 日均線同時受測。本文拆解歸因鏈、關鍵位與下一批風險日程。
美元自 18 個月高位回落送來東風：現貨金週四反彈逾 1%、終結三連跌、收復 4,170 美元；週五早盤報 4,151（−0.47%）。與此同時，澳元在就業數據衝擊後跌至七個月低點 0.6926，澳元計價金價按週四收盤折算約 A$6,023、已站上 A$6,000 大關——同一根金條、兩種貨幣、兩條曲線。本文拆解「美元金價 vs 澳元金價」的背離邏輯、多空對拉與三個觀察點。
ASX 200 跌破 8,800！四宗併購掃走 A$224 億、NAB 裁員 2,500 人、BHP 銅產量減 19%S&P/ASX 200 週二（10 月 20 日）午後報 8,776.20（-0.79%），盤中低見 8,747.30，自週一 8,845.70 的 20 個交易日新高回落。同日三條線索同時抵達：Cleanaway、Challenger、Reliance Worldwide、FleetPartners 四宗併購合計約 A$224 億；NAB 宣布裁員最多 2,500 人（約 6%）、計提 A$3 億重組費用；BHP 9 月季度銅產量同比減 19% 至 400.7 kt，但全年指引不變。本文拆解三條線索、8,747 / 8,800 / 8,828 關鍵位與雙向情景。
S&P/ASX 200 週二（10 月 20 日）午後報 8,776.20（-0.79%），盤中低見 8,747.30，自週一 8,845.70 的 20 個交易日新高回落。同日三條線索同時抵達：Cleanaway、Challenger、Reliance Worldwide、FleetPartners 四宗併購合計約 A$224 億；NAB 宣布裁員最多 2,500 人（約 6%）、計提 A$3 億重組費用；BHP 9 月季度銅產量同比減 19% 至 400.7 kt，但全年指引不變。本文拆解三條線索、8,747 / 8,800 / 8,828 關鍵位與雙向情景。
澳元走勢：RBA 副總裁直言通膨「materially worse」！11/3 升息機率跳回 56%，0.70 與 AUD/JPY 111 誰先破？澳洲儲備銀行副總裁 Andrew Hauser 10 月 21 日直言澳洲通膨前景比央行 8 月預估「materially worse」，並點名 AI 技術、資料中心與油價三大推力，市場對 11 月 3 日升息 25bp 的定價由發言前的 24% 一次跳到 56%；澳元收復 0.70 報 0.7016 美元。本文拆解 10/23 初步 PMI 與 Bullock 國會證詞、10/28 第三季 CPI、11/3 議息三道關口，以及 0.7000／0.6942 兩個關鍵價位與 AUD/JPY 套息風險。
澳洲儲備銀行副總裁 Andrew Hauser 10 月 21 日直言澳洲通膨前景比央行 8 月預估「materially worse」，並點名 AI 技術、資料中心與油價三大推力，市場對 11 月 3 日升息 25bp 的定價由發言前的 24% 一次跳到 56%；澳元收復 0.70 報 0.7016 美元。本文拆解 10/23 初步 PMI 與 Bullock 國會證詞、10/28 第三季 CPI、11/3 議息三道關口，以及 0.7000／0.6942 兩個關鍵價位與 AUD/JPY 套息風險。
ASX 200 10 月 22 日收 8,793.20 點、跌 0.43%，但 11 個板塊中有 8 個上漲，指數被能源（-2.42%）與原材料（-1.96%）拖住。布蘭特原油同日收 113.17 美元、單日漲 4.00%，鐵礦石報每噸 91.00 美元。本文拆解油價經柴油推高 Fortescue 單位成本、經家庭帳單壓制 Nick Scali 訂單、經估值分化拖累 Santos 的三條傳導鏈，並給出 8,700 與 8,800 兩個關鍵位。
