未来の技術スタックは単なる計算+データ+モデルではありません。 計算+データ+モデル+証明です。 判断が正しく行われた証拠です。 システムが制約の中で機能していた証拠です。 盲目的な信頼なしに結果を信頼できる証拠です。