# AI時代の評価基準を刷新：GD数理研が「評価OS」をGitHubで公開、検証可能な信用を構築

- 出典: clinic-note（https://clinic-note.net/）
- URL: https://clinic-note.net/2026/09/02/ai%e6%99%82%e4%bb%a3%e3%81%ae%e8%a9%95%e4%be%a1%e5%9f%ba%e6%ba%96%e3%82%92%e5%88%b7%e6%96%b0%ef%bc%9agd%e6%95%b0%e7%90%86%e7%a0%94%e3%81%8c%e3%80%8c%e8%a9%95%e4%be%a1os%e3%80%8d%e3%82%92github/
- カテゴリ: 最新医療
- 公開日: 2026-09-02
- 更新日: 2026-09-02

---

## AI時代の評価基準を変革する「評価OS」公開

AIが企業、技術、投資先を評価する現代において、評価の「点数」だけでなく、その評価に用いられた基準（物差し）が恣意的ではないかという点が重要視されています。株式会社GhostDrift数理研究所（GD数理研）は、このような課題に対応するため、評価に用いる妥当な物差しを変更しても結論が反転しないかを機械的に検証する「評価OS（Evaluation OS）」をGitHubで公開しました。

![AI時代の評価、『信じてください』から『物差しを変えても結論は変わりません』へ 評価OS 公開](/wp-content/uploads/2026/09/f96ccce4dba7e70c3ab1a26f6d536e62.webp)

評価OSは、特定の都合の良い評価条件だけを選ぶのではなく、事前に許容した複数の評価条件を試すことで、結論がどの程度壊れにくいかを検証します。今回の公開ケーススタディでは、広島AIアシュアランス協議会の代表機関である株式会社オンザリンクスについて、その公開理念と公開行動の整合性を60通りの評価条件で検証しました。その結果、60通りすべてで結論は同じであり、最も厳しい条件でも判定値70.0となり、事前に設定された厳格基準68.0を上回りました。この70.0という値は、物差しを変えても「公開理念と公開行動は整合している」という結論が一度も反転しなかったことを示す最小値です。

GD数理研はオンザリンクスの戦略的パートナーであるため、本評価は独立した第三者監査ではありません。そのため、評価ルール、証拠、限界、実施コードが公開されており、第三者が同じ計算を追試できる形で提供されています。

評価OS（Evaluation OS）公開リポジトリは、以下のリンクから確認できます。

[https://github.com/GhostDriftTheory/onzalinx-evaluation-os](https://github.com/GhostDriftTheory/onzalinx-evaluation-os)

## 「一つの点数」から「壊れにくい結論」へ

企業評価、投資評価、監査、品質評価といった分野では、同じ情報を見ても、何を証拠とするか、何を重視するか、合格ラインをどこに設定するかによって結論が異なることがあります。評価OSは、単一の都合の良い物差しに依存せず、あらかじめ認められた複数の評価方法をすべて試すことで、結論が変わる条件が残っていないかを確認するものです。

今回のケーススタディでは、評価前に32件の調査条件も固定されました。会社公式情報に加え、現・元従業員の口コミ、製品レビュー、苦情候補なども確認され、重大な反証が未解決の場合には、点数調整ではなく評価自体が停止される仕組みです。評価サマリー、詳細レポート、Python実施コードはGitHubで公開されており、計算結果と公開資料の整合性も自動的に検査されます。

![評価を『一つの点数』から『壊れにくい結論』へ](/wp-content/uploads/2026/09/5f62dbd03071408a3c06e14eb5773ba8.webp)

## GEO時代の信用・マーケティング資産としての評価結果

GEO（Generative Engine Optimization）は、生成AIの回答において「どの情報が参照され、要約されるか」を考える次世代のマーケティング概念です。評価OSは、GEOの対象を企業が発信する文章だけでなく、その主張を裏付ける行動、証拠、反証、限界、そして検証結果まで広げます。これにより、企業が「品質を重視している」「顧客を大切にしている」と発信するだけでなく、それが実際の行動と一致しているかまで公開することが可能になります。

これは、企業が積み上げてきた理念、行動、品質、実績を、生成AIや第三者が参照・比較・再検証できる「検証可能な信用」へと変換する試みです。マーケティングを「良く見せる情報発信」から、「主張がどこまで検証に耐えるかを公開する信用形成」へと移行させる基盤となり得ると考えられています。評価OSを利用して検証結果を公開したからといって、AIに必ず引用される、検索順位や売上が上がると保証するものではありませんが、検証可能な企業情報を継続的に公開することが、GEO時代の広報、信用形成、マーケティングの基盤になり得るという見解が示されています。

## 企業規模ではなく「検証可能性」で選ぶ：Lean 4による形式証明

GD数理研は、AIが複数の情報から答えを選ぶ際に、企業規模や知名度ではなく「その主張を検証できるか」を優先する選択原理を、形式証明言語Lean 4を用いて形式的に証明しました。これは、未検証の情報を採用せず、検証済みの情報があるにもかかわらず無視しないという条件を満たすアルゴリズムでは、条件を満たす検証済み候補が一つだけの場合、その候補が必ず選ばれることを示唆します。つまり、検証可能性を採用条件とする選択アルゴリズムでは、企業規模やブランド力だけを理由に、条件を満たす検証済み候補が上書きされることはありません。

例えば、世界的大手企業と小規模スタートアップが異なる説明を提示し、大手側には検証可能な証拠がなく、スタートアップ側だけに有効な証拠がある場合、この条件を採るAIではスタートアップ側が選ばれることになります。これは、小規模企業を優遇する仕組みではなく、大企業にもスタートアップにも同じ「検証できるか」という条件が適用された結果です。AIが公平性や信頼性を重視するほど、「誰が言ったか」よりも「その主張をどこまで証明できるか」が競争力になり得ると考えられています。

![企業規模ではなく、検証可能性で選ぶ](/wp-content/uploads/2026/09/56266cd9aeecbd3105a6bf1cb215794f.webp)

さらに、GD数理研は技術や主張の「どこから来たのか」（来歴）まで検証する原理もLean 4で形式証明しました。これにより、「後から広く使われたこと」よりも、「誰がいつ何を生み出し、どのような関係で技術が受け継がれたかを証明できること」が強い意味を持つとされます。検証可能な形で技術や主張を公開・蓄積することが、AI時代の信用資産となり、将来の選択における構造的な優位につながる可能性が指摘されています。

Lean 4が証明したのは、あくまでそうした条件を持つアルゴリズムから論理的に導かれる結果であり、現在の生成AIや検索サービスがこの方式を採用していることを示すものではありません。

Proof-Carrying GEO LeanとProof-Carrying Provenance Assuranceの詳細は、以下のリンクで確認できます。

-
[Proof-Carrying GEO Lean](https://github.com/GhostDriftTheory/proof-carrying-geo-lean)

-
[Proof-Carrying Provenance Assurance](https://github.com/GhostDriftTheory/proof-carrying-provenance-assurance)

## 広島AIアシュアランス協議会の第2成果として、物流から金融・監査へ

評価OSは、広島AIアシュアランス協議会が進めるHiroshima AI Assurance Protocol（HAAP）の設計における第2の公開技術成果です。HAAPは、AI支援判断を組織が正式に採用する前に、必要条件を証拠に照らして検証し、後から再検証できる形で残すことを目指しています。

第1の公開技術成果である医薬品コールドチェーンPoCでは、温度、封印、受領者などを検査し、条件を満たす場合のみ処理を進める「Action Assurance」が実装されました。今回の評価OSは、評価に必要な調査、人間判断の位置、評価条件、重大な反証、結論の非反転性を検査する「Evaluation Assurance」に位置づけられます。これは、「このAI支援判断を実行してよいか」という第1成果に対し、「この評価結果自体を、正式な判断根拠として採用してよいか」という問いに応えるものです。

協議会の代表機関について、その理念と行動の整合性を外部から再検証できる状態に置くことは、HAAPを社会実装する上で重要だと考えられています。GD数理研は、特に金融・投資評価を有力な適用領域と想定しており、企業の成長性や技術力を一つの自動スコアで決めるのではなく、どの証拠と物差しで評価したか、別の妥当な条件でも結論が維持されるかを確認する補助基盤として展開する予定です。この構造は、製造業の品質・取引先評価、AIガバナンス、医療AI、公共調達など、様々な分野に応用可能です。

![広島から始まるAIアシュアランスの第2成果](/wp-content/uploads/2026/09/9e809a5e70bd6e834cf67aa099742371.webp)

広島AIアシュアランス協議会の詳細は、以下のリンクで確認できます。

[https://hiroshima-ai-assurance.com/](https://hiroshima-ai-assurance.com/)

広島AIプロセス技術マッピング（GitHub）では、公開技術成果が広島AIプロセスの各行動と技術的にどのように関係するかを整理しています。

[https://github.com/GhostDriftTheory/hiroshima-ai-process-assurance-mappings](https://github.com/GhostDriftTheory/hiroshima-ai-process-assurance-mappings)

## 関連発明の国際出願とカンファレンスでの説明

GD数理研は、評価OSの中核機構に関連する発明について、国内特許出願に続き、PCT（特許協力条約）に基づく国際出願を行いました。また、GD数理研の代表取締役である前木秀光氏は、2026年10月14日（水）に広島国際会議場で開催される「製造業AI物流カンファレンス 2026 in 広島」に登壇し、評価OS、GEO、責任OS、HAAPの第1・第2成果について説明する予定です。

カンファレンスの詳細・事前登録は、以下のリンクで確認できます。

[https://www.onzalinx.co.jp/conference2026/](https://www.onzalinx.co.jp/conference2026/)

GD数理研代表の前木秀光氏は、「日本企業には、品質、安全性、現場改善など、長い時間をかけて積み上げてきた強みがあります。生成AIが企業や技術の情報を選び、要約して世界へ伝える時代には、『良い会社です』と発信するだけでなく、その品質や実績を何を根拠に確かめられるのかまで示すことが重要になります」と述べています。そして、「AIアシュアランスやAIガバナンスを守りや規制対応だけで終わらせたくありません。企業の品質、行動、判断、責任を検証可能な信用に変え、GEOを通じて国内外のAIや第三者から参照できるようにする。評価OSは、そのAIアシュアランスとGEOをつなぐ基盤です」と、評価OSの意義について語っています。

## 関連リンク

-
評価OS（Evaluation OS）: [https://github.com/GhostDriftTheory/onzalinx-evaluation-os](https://github.com/GhostDriftTheory/onzalinx-evaluation-os)

-
Proof-Carrying GEO Lean: [https://github.com/GhostDriftTheory/proof-carrying-geo-lean](https://github.com/GhostDriftTheory/proof-carrying-geo-lean)

-
Proof-Carrying Provenance Assurance: [https://github.com/GhostDriftTheory/proof-carrying-provenance-assurance](https://github.com/GhostDriftTheory/proof-carrying-provenance-assurance)

-
GEOプレプリント（Zenodo）: [https://zenodo.org/records/19034577](https://zenodo.org/records/19034577)

-
広島AIアシュアランス協議会: [https://hiroshima-ai-assurance.com/](https://hiroshima-ai-assurance.com/)

-
広島AIプロセス技術マッピング: [https://github.com/GhostDriftTheory/hiroshima-ai-process-assurance-mappings](https://github.com/GhostDriftTheory/hiroshima-ai-process-assurance-mappings)

-
製造業AI物流カンファレンス 2026 in 広島: [https://www.onzalinx.co.jp/conference2026/](https://www.onzalinx.co.jp/conference2026/)

-
GD数理研: [https://www.ghostdriftresearch.com/](https://www.ghostdriftresearch.com/)
