科學OpenAI展示人工智慧突破，再度引發失控風險疑慮
OpenAI表示，一套仍在訓練中的內部人工智慧系統協調約1萬個代理程式，在88小時內解決納維–斯托克斯存在性與光滑性問題，之後由Astra花17小時在Lean中形式化並驗證結果。成果仍待數學界更廣泛檢視，卻已引發對前沿人工智慧能力躍升、競爭失衡與失控風險的擔憂。
C
CryptoSlate★★★★☆2026-09-09 22:40原文
OpenAI展示人工智慧突破，再度引發失控風險疑慮
科學科學科學OpenAI表示，一套仍在訓練中的內部人工智慧系統協調約1萬個代理程式，在88小時內解決納維–斯托克斯存在性與光滑性問題，之後由Astra花17小時在Lean中形式化並驗證結果。成果仍待數學界更廣泛檢視，卻已引發對前沿人工智慧能力躍升、競爭失衡與失控風險的擔憂。
CCryptoSlate★★★★☆2026-09-09 22:40原文
科學Minutes Reader 擴充功能將原網頁整理為更專注的閱讀版式，並可依需求翻譯原文與影片字幕。目前內測中，名額有限。