OpenAIの数学的進歩が暗号セキュリティの次の脆弱性を露呈させる

Navier-Stokesに関する彼の主張は、欠陥のある仕様が脆弱性を検出されないままにする契約検証において、AIが果たし得る役割を示唆している。