AIの議論の多くは依然としてモデルに関するものです。現実世界のAIは、行動できる出力が重要です。 AIが取引や車両、セキュリティアクションを引き起こす場合、確率ではなく保証が必要です。 推論の証明はそれを変えます。