昨晚凌晨两点と友達と焼き鳥を楽しんでいると、彼はAI取引ロボットを見て文句を言った：「稼ぐかどうかはさておき、最も怖いのは勝手に理由を作り出すことだ。」彼は利益のスクリーンショットを私に見せつけ、「安定しているけど、手がずっと震えている」と言った。私は気軽に尋ねた：「それで、どのモデルを使って動かしているんだ？」彼は驚いて、「知らないけど…とにかく動いている」と答えた。私は背筋がひやりとした。

これが最近私が @inference_labs に注目している理由でもある：彼らは誰よりも「生成」が得意なわけではなく、「推論過程」を監査可能な帳簿にしているのだ。最近の二つの事柄はかなり本気だ：①公式発表と @cysic_xyz との協力で、zkML証明計算を分散型の計算力/ハードウェアネットワークに移し、proof time とコストという難題に直面している；②公式によると JSTprove はすでに DSperse に直接接続されており、モデルのスライスを並列実行し、各セクションから検証可能な「レシート」を生成できる。さらに、TruthTensor Crucible S1 がランキングから外れたことで、私は少し興奮している——これはPPTではなく、検証可能なAIを実運用環境に引き込もうとしているのだ。