# OpenAI的數學突破揭示加密安全的下一個薄弱環節

https://mins.news/zh-Hant/item/53747

- CryptoSlate, 2026-09-10 22:30 UTC
- 科技
- 原文: https://cryptoslate.com/openais-math-breakthrough-exposes-the-next-weak-link-in-crypto-security/

> OpenAI表示，約1萬個並行運作的AI代理在約88小時內解決了納維–斯托克斯流體運動問題，之後以GPT-6 Astra在Lean中完成形式化驗證。這項成果顯示，自動定理證明或可推進智能合約安全流程，但準確制定驗證規範仍至關重要。

## 相關報導

- [OpenAI聲稱解決納維–斯托克斯數學問題，監管呼聲漸高](https://mins.news/zh-Hant/video/52122) — Global News, 2026-09-09
- [OpenAI稱1萬個AI智能體解出100萬美元數學難題，數學家展開爭論](https://mins.news/zh-Hant/item/51217) — CoinDesk, 2026-09-09
- [OpenAI宣稱解開傳奇數學難題，引發研究人員質疑](https://mins.news/zh-Hant/item/50372) — The Verge, 2026-09-08