複製連結
分享
列印
字體大小
數學證明手稿與形式驗證畫面 / TokenPost.ai
OpenAI表示，內部AI模型得出反駁計算複雜度領域指數時間假說（ETH）的結果，並以Lean完成形式驗證；這項結果仍待外部研究團隊審查。
OpenAI在官方公告中表示，模型於10月16日提出反駁ETH的證明，並於17日以Lean形式化。ETH探討包括布林公式可滿足性問題在內的計算問題難度，許多領域的論文都以此假說作為計算難度的前提。
OpenAI表示，Russell Impagliazzo、Ramamohan Paturi與Ryan Williams領導的研究團隊將驗證並說明這項結果。OpenAI也公布數學、電腦科學與物理學領域的三項新發現，並公開ETH相關結果的原始資料與證明。
<版權所有 ⓒ TokenPost，未經授權禁止轉載與散佈>
最受歡迎
分類文章
新聞 
幣種資訊 
關於我們 
留言 0