テクノロジーOpenAIの数学的ブレークスルーが暗号資産セキュリティの次の弱点を浮き彫りに
OpenAIによると、約1万のAIエージェントが約88時間でナビエ・ストークス問題の解を導き、その後GPT-6 AstraがLeanで形式化と検証を行った。自動定理証明はスマートコントラクトの安全性向上につながり得る一方、何を検証対象にするかを正確に定める重要性も高めている。
C
CryptoSlate★★★☆☆2026-09-10 22:30元記事
OpenAIの数学的ブレークスルーが暗号資産セキュリティの次の弱点を浮き彫りに
テクノロジー