# OpenAIの数学的ブレークスルーが暗号資産セキュリティの次の弱点を浮き彫りに

https://mins.news/ja/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、ナビエ–ストークス方程式の数学問題を解決したと主張 AI規制を求める声高まる](https://mins.news/ja/video/52122) — Global News, 2026-09-09
- [OpenAI、1万のAIエージェントが100万ドルの数学問題を解いたと発表 数学者は検証をめぐり議論](https://mins.news/ja/item/51217) — CoinDesk, 2026-09-09
- [OpenAIの伝説的な数学的成果をめぐり波紋、研究者が疑問を呈す](https://mins.news/ja/item/50372) — The Verge, 2026-09-08