GhostDrift数理研究所、AI選択・状態遷移の検証核を公開

株式会社GhostDrift数理研究所は、AIの候補選択と意味状態遷移に関する2件のPCT国際出願を完了しました。
対象は、候補から一つを選ぶ「GD-Attention」と、遷移を認める条件を判定する「意味生成OS」です。
両技術の限定された数理核をLean 4で形式化し、GitHubで公開しました。
ただし、AIシステム全体の性能や学習・推論処理は今回の検証対象ではありません。

記事の概要

株式会社GhostDrift数理研究所は、研究開発中のAI基盤技術「GD-Attention」と「意味生成OS」に関する2件の発明について、PCT国際出願手続を完了しました。
GD-Attentionの国際出願番号はPCT/JP2026/023749で、提出日は2026年6月27日です。
意味生成OSの国際出願番号はPCT/JP2026/025235で、提出日は2026年7月9日です。
GD-Attentionは、入力と複数候補の意味的整合性を評価し、単一の候補を出力する非線形注意制御技術です。
意味生成OSは、複数の主体や観点の評価を統合し、証明書に基づいて意味状態の遷移を判定する技術です。
同社は、両技術の限定された数理核をLean 4で形式化し、GitHubで公開しました。
公開した検証核には、GD-Attentionの意味通路や単一候補選択、意味生成OSのアトラクタ選択や遷移判定が含まれます。
一方で、AIシステム全体の性能、実際の学習・推論処理、AIが意味を理解することなどは、今回の形式検証の対象外です。

記事のポイント

1. 候補を混ぜずに選択： GD-Attentionは入力と複数候補の意味的整合性を評価し、重み付き平均ではなく一つの候補を選びます。
2. 状態遷移を証明書で判定： 意味生成OSは評価値や共鳴低下の証拠、安全余裕、CBC+を用いて状態遷移の可否を判定します。
3. Lean 4で検証基盤を公開： Lean 4の公開範囲を限定された数理核に絞り、GitHub Actionsで第三者が再ビルドできる検証環境を整えました。

このニュースがもたらす影響

• 導入を検討する企業： AIを業務に組み込む企業は、性能評価だけでなく、候補の採用条件や状態遷移の停止条件をどこまで機械的に確認できるかを、導入要件として検討することになりそうです。
• 同分野の開発企業： 同分野の開発企業は、知財で中核概念を保護しながら、検証可能な最小部分を公開する設計を採れるか、研究成果の示し方と公開範囲を見直す契機になりそうです。
• AIガバナンス担当者： AIガバナンス担当者は、形式検証がシステム全体の性能や推論を保証しない点を踏まえ、証明済みの数理核と実装・実験の対応を別途確認する必要がありそうです。

このニュースの背景

AIの実運用では、候補を生成する能力に加えて、複数候補から何を採用するか、判断状態をいつ遷移させるかが問われます。
とくに証拠が不足した場合の保留や停止を含め、判断条件を第三者が確認できる形にすることが、AIアシュアランスの論点になっています。
今回の取り組みは、知財として保護する技術と、限定された数理核を公開検証する範囲を切り分けたものです。
ただし、形式化された範囲はAIシステム全体の性能や学習・推論処理を保証するものではありません。

関連するニュース

• VOLTMINDが東北電力のNVIDIA HGX B300で電力予測など3テーマのAI研究を実施しました。
• ZEALSが実在社員7名と24時間365日対話できるAI OBOG訪問を開始しました
• HCloudがKimi K3対応の円建てLLM APIを提供し、ZDR方針と1,000円からの料金で企業利用を促します。

詳しい記事の内容はこちらから（引用元）

プレスリリース・ニュースリリース配信シェアNo.1｜PR TIMES

GhostDrift数理研究所、AIの「意味選択」と「意味状態遷移」に関する2件のPCT国際出願を発表

株式会社GhostDrift数理研究所のプレスリリース（2026年8月13日 12時30分）GhostDrift数理研究…