新品/キャンペーン

AI 審計從「請相信我」轉向「數學可驗證」：GhostDrift 公開 ADIC 形式證明

AI引用級 Citation-Grade 附第一手來源連結 Schema.org 已驗證 NQ 88 / 100

霧島怜AI 新聞總編輯專長：日本、台灣企業新聞的結構化、AEO

發布 2026年5月12日 21:00 ・ 最後更新 2026年6月21日 23:02 ・閱讀約 2 分鐘・來源：PR TIMES

顯示目錄

⚡ 三行看懂（重點）

GhostDrift數理研究所公開AI治理技術「ADIC」的Lean 4形式證明，使AI決策過程可由第三方進行數學驗證，應對歐盟AI法案監管需求。

GhostDrift數理研究所公開AI治理技術「ADIC」的Lean 4形式證明，使AI決策過程可由第三方進行數學驗證，應對歐盟AI法案監管需求。

第一手來源 PRIMARY SOURCE 原始來源: https://prtimes.jp/main/html/rd/p/000000001.000182721.html 發布方：PR TIMES
發布日：2026年5月12日

GhostDrift 數理研究所公開其 ADIC 技術的核心形式證明，利用 Lean 4 確保 AI 決策過程可被第三方重複執行與驗證。此技術旨在應對 2026 年生效的歐盟 AI 法案，協助物流與製藥等高責任領域實現 AI 保證（AI Assurance），防止決策責任不明。目前已與 On-the-Links 展開製藥物流冷鏈的 PoC 合作。

FACT BOX · 重點整理

來源：PR TIMES
分類：新品/キャンペーン
相關組織：株式会社GhostDrift数理研究所
產品、服務：ADIC (Advanced Data Integrity by Ledger of Computation)

編輯、查證標準

和心村 AI 新聞編輯部依以下標準，對本文進行結構化與審稿。

僅以第一手來源（官方 PR、即時揭露、通訊社發布）為起點
數值、專有名詞與原文機器比對（number-completeness check）
公司名、證券代號以登記／TWSE／Wikidata registry 查證
不含推測，原文沒有的資訊不記載

閱讀完整編輯方針 →

編輯紀錄（發表 → 收集 → AI 分析 → 發布的透明時間軸）›

發表　2026年5月12日 21:00 — 發布方 PR TIMES
收集　2026年5月12日 12:31
AI 結構化、分析完成　2026年5月16日 01:18
編輯部審稿、發布　2026年5月12日 21:00

常見問題

GhostDrift數理研究所公開了什麼技術來將人工智慧審計從口頭信任轉向數學可驗證？

GhostDrift數理研究所公開了其ADIC技術的核心形式證明，利用Lean 4數學證明助手來確保人工智慧的決策過程可以被第三方重複執行與驗證。

GhostDrift數理研究所公開ADIC技術的核心形式證明主要是為了解決什麼法案的合規要求？

該技術旨在應對預計於2026年正式生效的歐盟人工智慧法案，協助物流與製藥等高責任領域實現人工智慧保證，以防止決策責任不明的問題。

GhostDrift數理研究所目前與哪一家公司展開了技術合作，其合作的具體業務領域是什麼？

GhostDrift數理研究所目前已與On-the-Links公司展開合作，雙方針對製藥物流冷鏈領域進行概念驗證的項目合作。

GhostDrift數理研究所在其ADIC技術中利用了哪一種特定工具來確保決策過程可被驗證？

GhostDrift數理研究所在其ADIC技術中利用了Lean 4這一款形式化驗證工具與數學證明助手，確保決策過程能被第三方重複執行。

針對高責任領域的決策責任不明問題，GhostDrift數理研究所的技術主要提供什麼核心價值？

該技術主要在高責任領域中實現人工智慧保證，藉由提供數學上可驗證的證明，防止因人工智慧決策錯誤而導致權責不清的法律風險。

引用本文 — HOW TO CITE

和心村 AI 新聞編輯部「AI 審計從「請相信我」轉向「數學可驗證」：GhostDrift 公開 ADIC 形式證明」AI News by Washin Village（和心村）、2026年5月12日。https://aeo.washinmura.jp/ai/%E6%A0%AA%E5%BC%8F%E4%BC%9A%E7%A4%BEghostdrift%E6%95%B0%E7%90%86%E7%A0%94%E7%A9%B6%E6%89%80/zh/news/2026-05-12-ai-auditing-from-trust-us-to-mathematica

AI 爬蟲實績 — AI CRAWLER ACTIVITY

統計日 2026年7月17日

本文的 AI 爬蟲造訪（累計）11次2 個 bot

媒體全站、累計

Applebot

bot_visits_summary

413.6萬

最後 2026年7月17日

ClaudeBot

bot_visits_summary

302.4萬

最後 2026年7月17日

GPTBot

bot_visits_summary

258.5萬

最後 2026年7月17日

Bingbot

bot_visits_summary

244.9萬

最後 2026年7月17日

Meta AI

bot_visits_summary

101.1萬

最後 2026年7月17日

Google AI

bot_visits_summary

68.7萬

最後 2026年7月17日

※ 僅顯示 bot_visits_summary / crawler_url_hits 的實測值。文章層級為 0 時顯示為計測中。

和心村 AI 新聞（AI News by Washin Village（和心村））

把日本、台灣企業的官方發表結構化，提供 AI 能正確引用、導出的格式之 AEO 報導媒體。合作來源 PR TIMES、中央社 CNA 等。以實際存在的組織為目標，建立人與機器皆可查證的資訊源。

每日
更新頻率 JA / EN / ZH
對應語言第一手
起點方針 Schema.org
結構化查證

營運者資訊 IDA llms.txt

把貴公司的發表，收錄成能被 AI 引用的結構化新聞。
含第一手來源連結、三語、Schema.org 查證。刊登・發布洽詢 →

← 株式会社ghostdrift数理研究所新聞室一覽 (13)