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

OpenAI公布3項數學、電腦科學與物理學AI研究成果

檢視數學證明的手與定理證明工具 / TokenPost.ai

OpenAI公布人工智慧(AI)在數學、電腦科學與物理學領域的3項研究成果,其中一項推翻指數時間假說(ETH)的結果已通過Lean形式化驗證。

OpenAI於10月26日發布公告,表示模型已推翻ETH。這項結果將由外部團隊審查,團隊成員包括麻省理工學院(MIT)教授Russell Impagliazzo、Ramamohan Paturi與Ryan Williams。OpenAI表示,已公開自然語言證明,並將釋出相關原始資料,供社群獨立驗證。

在數學領域,OpenAI表示,模型證明了所有維度下的局部平滑化猜想,並因此解決了Kakeya猜想與Stein限制猜想。物理學方面,模型提出涵蓋量子色動力學的四維量子場論存在性證明,預計由David Gross領導的研究團隊進行驗證。

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

最受歡迎

其他相關文章

留言 0

留言小技巧

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

0/1000

留言小技巧

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