科技OpenAI的數學突破揭示加密安全的下一個薄弱環節
OpenAI表示，約1萬個並行運作的AI代理在約88小時內解決了納維–斯托克斯流體運動問題，之後以GPT-6 Astra在Lean中完成形式化驗證。這項成果顯示，自動定理證明或可推進智能合約安全流程，但準確制定驗證規範仍至關重要。
C
CryptoSlate★★★☆☆2026-09-10 22:30原文
OpenAI的數學突破揭示加密安全的下一個薄弱環節
科技科技科技OpenAI表示，約1萬個並行運作的AI代理在約88小時內解決了納維–斯托克斯流體運動問題，之後以GPT-6 Astra在Lean中完成形式化驗證。這項成果顯示，自動定理證明或可推進智能合約安全流程，但準確制定驗證規範仍至關重要。
CCryptoSlate★★★☆☆2026-09-10 22:30原文
科技Minutes Reader 擴充功能將原網頁整理為更專注的閱讀版式，並可依需求翻譯原文與影片字幕。目前內測中，名額有限。