Back to top
  • 링크복사 複製連結
  • 공유 分享
  • 인쇄 列印
  • 글자크기 字體大小
已複製網址

分享

x
區塊鏈

千禧年難題現解！OpenAI公開納維－史托克斯方程解法與Lean證明

千禧年難題現解！OpenAI公開納維－史托克斯方程解法與Lean證明 / Tokenpost

OpenAI內部系統針對納維－史托克斯千禧年難題提出解法，並公開了以Lean撰寫的形式化證明。

OpenAI在官方公告中表示，當受到平滑外力作用時，初始靜止的三維不可壓縮流體可能在有限時間內形成奇異點，且整個過程中能量始終保持有限。OpenAI說明，這項結果滿足克雷數學研究所（Clay Mathematics Institute）官方問題設定中的C與D命題。OpenAI同步公開了論文與Lean形式化證明。

OpenAI表示，此次使用的內部模型遠比GPT-6 Astra強大，動用約1萬個並行「代理」（agent），耗時約88小時才推導出解法。這些代理在解題過程中互相交換了270萬則訊息，產出約1300億個輸出token，其中Lean形式化與驗證作業又額外花費17小時。OpenAI並表示，目前無意就此結果申請千禧年大獎獎金。

<版權所有 ⓒ TokenPost，未經授權禁止轉載與散佈>

#OpenAI #納維-史托克斯方程 #千禧年難題 #Lean證明 #GPT-6 Astra

最受歡迎

1
【晨間新聞快報】加密貨幣1.83億美元遭清算 等多起要聞
2
比特幣跌至78,501美元 以太幣漲破2,483美元 市場漲跌分歧
3
日本10年期公債殖利率衝破3%　創30年新高引發資金回流論戰
4
美國9月15日起調整加拿大汽車關稅品項範圍
5
V4 Pro請求改路由至V4.1 Flash 深度求索技術人員稱
6
DeepSeek Flash API最高砍價60%，9月10日下午生效
7
比特幣1個月波動率創歷史低點,長期持有者解釋力達19%
8
較6月低點大漲80% 鏈接(LINK)市值仍僅瑞波幣(XRP)九分之一
9
Block(XYZ)申請設立信託銀行 拓展比特幣穩定幣託管業務
10
20年資歷、67歲上限 iM金融公布會長資格新標準

其他相關文章

生成延遲最多降50%，OpenAI推出ChatGPT圖像2.5

OpenAI推出GPT-6 Astra　AI運算擴大恐推升三星、SK海力士記憶體需求

用戶暴增25倍 ChatGPT行動應用竄紅 OpenAI財務長證實

英特爾大漲4.51%　OpenAI公布GPT-6阿斯特拉同步激勵晶片股

算力衝破900MW,Firmus攜手OpenAI供應馬來西亞AI運算

分類文章

查看更多

蘋果2奈米A20 Pro晶片問世，搭載iPhone18 Pro/Pro Max

獲250萬枚LAPTOP代幣 Wintermute拋售46.6萬枚套現208萬美元

3558枚比特幣(BTC) 兩無名錢包間轉出2.8億美元

10月23日登場！蘋果首款摺疊iPhone「Duo」亮相 iPhone 18 Pro同步開賣

比特幣8月17日以來漲22%，礦業股中位數僅漲1.8%

美財長貝森特籲參議院重啟CLARITY法案討論

24小時清算1.52億美元 比特幣仍卡在8萬美元關卡

21.2億美元短期美債將被買入 聯準會操作性質尚待確認

4億美元起家 泰達(Tether)攜帕薩納拉推60國私募信貸基金

比特幣(BTC)跌破78,208美元 以太幣(ETH)同步走低至2,464美元

留言 0

留言小技巧

好文章。 希望有後續報導。 分析得很棒。

0/1000

留言小技巧

好文章。 希望有後續報導。 分析得很棒。
1