2025年は検証可能なAIが単なるアイデアから離れ、実際のインフラとなり始めた年でした。 Subnet-2は3億+の検証可能な推論を超えました。 DSperseを送りました。 私たちはJSTproveを世界に公開しました。 私たちはTruthTensorを立ち上げ、現在50万+エージェントを動かしています。 AIは強力であるだけでなく、説明責任を負えることも証明しました。 これが研究が現実となるときの姿です。 2026年はもっと大きな年になるでしょう。