#smt のAIニュース

学術協力がアマゾンの顧客に現実世界のセキュリティをもたらす方法

アマゾンの科学者とスタンフォード大学研究者の協力により開発されたオープンソースツールcvc5は、AWSで毎日約10億回の自動推論チェックを実行し、セキュリティを強化しています。