AIがクラウドから物理的な世界(車両、ロボット、インフラ、防衛システム)へと移行するにつれて、エラーのコストは劇的に上昇します。 こうした環境では「テストした」だけでは不十分です。 システムは自分たちが何をしたのか、どのように、どのルールで行ったのかを証明できなければなりません。 だからこそ、私たちは大規模に検証可能なAIを先駆けて開発しています。