# OpenAI的数学突破暴露加密安全的下一个薄弱环节

https://mins.news/zh-Hans/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-Hans/video/52122) — Global News, 2026-09-09
- [OpenAI称1万个AI智能体解出价值100万美元的数学难题，数学家展开争论](https://mins.news/zh-Hans/item/51217) — CoinDesk, 2026-09-09
- [OpenAI宣称解决传奇数学难题，引发研究人员质疑](https://mins.news/zh-Hans/item/50372) — The Verge, 2026-09-08