以任何人都能在事后以相同步骤重现和验证的方式保存「AI做了什么的证据」——这是欧盟AI法案所要求的第三方可验证AI治理基础。 GhostDrift数理研究所发布了「ADIC（Advanced Data Integrity by Ledger of Computation）」内核的重放验证理论的形式化证明，该证明可在Lean 4中验证。ADIC是一种将AI判断作为证据保存的技术，可供第三方重新运行和验证。ADIC与传统审计日志的本质区别在于，它不仅保存判断结果，还保存导致该判断的过程本身作为证据。 在物流、制药、金融、公共领域等高责任领域，AI判断直接导致事故、重大损失或行政判断，如果事后无法解释「为何通过该判断」，就会发生「责任蒸发」，无人能承担责任。ADIC是一个基础，可以防止「大家本应正确却发生问题」的情况，使企业和组织能够对AI承担明确的责任。 ADIC防止「责任蒸发」的结构 在欧洲，欧盟AI法案的全面实施迫在眉睫，该法案可能对严重违规行为处以相当于前一年全球年营业额7%的罚款，生效日期为2026年8月2日。全球对AI治理的要求水平正在从传统的内部严格规则运营阶段，转向提供可由独立第三方验证的证据阶段。 此次发布的形式化证明，将ADIC内核的「重放验证」理念，以第三方可在Lean 4上重新运行和验证的形式呈现。这表明，当ADIC的验证器接受证书时，该证书所指示的内容，其对应的有效性条件成立。Lean 4是一种定理证明辅助机制，用于电脑检查数学证明。需要注意的是，本形式化证明针对的是ADIC重放验证内核的健全性，并不证明整个运营系统、从真实数据到形式模型的转换或完整性。通过此次发布，ADIC不仅仅是一个构想或操作规则，而是作为一种伴随技术证据的AI治理技术，可由第三方重新运行，为实际运营提供了内核验证基础。 开发哲学「和算2.0」：支撑AI治理国际标准的日本思想 ADIC设计理念的根基是日本数学文化中「进程本身是信任的基础」的思想。 在江户时代的和算中，通过在算额上公开解法，展示「任何人都可以重新运行的进程」是信任的证明。这是一种界定「可可靠验证的范围」并保留进程的态度，而不是讨论无限理论。ADIC是这种精神的现代实践。GhostDrift将这种将AI判断进程固定为证据分类帐，并允许第三方机械地重新运行和验证的机制定位为「和算2.0」，旨在作为源自日本的AI治理技术连接国际标准。 和算2.0——将公开进程的精神应用于AI判断的再验证 ■ 代表评论 GhostDrift数理研究所 代表取缔役 前木 秀光 「AI的信任仅靠事后的『解释』或『监控』已无法创建，这已是全球社会的共识。重要的是，在判断之后，第三方可以重新追溯相同的步骤，确认依据是什么，以及应该在哪里停止。我们在ADIC中实施的是AI判断的『再验证责任』。此次发布的基于Lean 4的形式化证明，表明ADIC的重放验证内核是一个可由第三方重新运行的技术基础。从『仅仅旁观』的治理，到『事后可确认』的保证——GhostDrift将这种转变作为源自日本的技术来实施。」 ■ 未来发展：从国际讨论的起点「广岛」开始实施AI保证 GhostDrift在推进ADIC在物流、制药等高责任领域的实施的同时，旨在连接以第三方可验证性和可重现性为内核的「AI保证」国际标准。AI保证，即从技术上保证AI系统判断的可靠性和安全性，目前正在英国、欧盟和美国作为AI治理的内核领域迅速发展。 作为迈向这些国际标准的第一步，2026年4月，在广岛——「广岛AI进程」的发源地，该进程成为AI治理国际讨论的起点——GhostDrift与在高端制造物流领域拥有长期实绩的株式会社On-The-Links缔结了战略合作伙伴关系，并启动了制药物流冷链中货主责任证明平台的PoC。 作为此次合作的第一个里程碑，未来两个月内将进行初步PoC。