熱點事件持續更新
OpenAI稱模型提出反駁ETH的證明
1 篇報道1 個報道來源2 小時前更新
先了解這件事
AI 綜述
OpenAI稱，其模型於2026年10月18日產生一項證明，旨在反駁自1999年提出的指數時間假設（ETH）。該證明於翌日以Lean形式化，並於GitHub公開自然語言説明及形式化內容。OpenAI於10月26日公佈此事；目前外部合作者仍在檢視ETH命題的形式化。報道指出，若反駁經受住審查，依賴ETH的數百篇條件式難度研究便需要重新檢視。
AI 根據報道生成 · 2 小時前更新
最新進展10月27日 10:29
OpenAI於10月26日公佈該證明，外部合作者仍在檢視ETH命題的形式化。報道時間線
沿着報道，瞭解事件的不同側面。
10月27日
- DEV Community精選OpenAI 稱模型提出反駁指數時間假設 ETH 的證明
OpenAI 於 2026 年 10 月 26 日公佈其模型在 10 月 18 日產生的證明，稱該證明反駁自 1999 年提出的指數時間假設（ETH）。證明在翌日以 Lean 形式化，並於 GitHub 公開自然語言説明及形式化內容。外部合作者仍在檢視 ETH 命題的形式化；若反駁經受住審查，依賴 ETH 的數百篇條件式難度研究需重新檢視。
本事件熱度走勢
還沒有足夠的連續觀測數據，暫不繪製趨勢。