2026.08.14
│
株式会社GhostDrift数理研究所
│
元発表:2026.08.13
GhostDrift、AIの意味選択と状態遷移で2件のPCT国際出願
ニュース紹介
「GhostDrift数理研究所、AIの『意味選択』と『意味状態遷移』に関する2件のPCT国際出願を発表」
株式会社GhostDrift数理研究所(東京都新宿区)は、研究開発を進めるAI基盤技術「GD-Attention」と「意味生成OS(Meaning-Generation Operating System/MG-OS)」に関する2件の発明について、PCT(特許協力条約)に基づく国際出願手続が完了し、それぞれ国際出願番号が付与されたと発表しました。国際出願番号は、GD-AttentionがPCT/JP2026/023749(2026年6月27日提出、主な優先権出願=特願2025-130510)、意味生成OSがPCT/JP2026/025235(2026年7月9日提出、主な優先権出願=特願2025-130509)としています。あわせて、両技術の限定された数理核をLean 4で形式化し、GitHubで公開したことも明らかにしました。同社は「PCT国際出願は国際的な出願手続であり、各国における特許権の成立を意味するものではない」と注記しています。
出典:株式会社GhostDrift数理研究所 2026年8月13日 プレスリリース
https://prtimes.jp/main/html/rd/p/000000006.000182721.html
FrontJournalの解説
この研究分野について
大規模言語モデルなど近年のAIは、入力に対して複数の候補を生成する能力に長けています。一方で、実運用では複数候補のうちどれを正式な出力として選ぶか、いま置かれた判断状態から次のどの状態へ移ってよいかという「選択」と「遷移」の設計が課題として残っています。
この課題に対しては、モデルの内部で候補を重み付き平均する従来手法と、明示的に一つを選ぶ手法との比較が続いており、選択と遷移の判定を第三者が機械的に確認できる形で示すことは、AIの信頼性を左右する論点として国内外で議論されています。
①GD-Attention ― 候補を混ぜず一つを選ぶ
GD-Attentionは、入力と複数の候補との意味的な整合性を評価し、候補の重み付き平均をとらずに一つの候補を明示的に選択する非線形注意制御技術です。発表では、選択された候補に対応する値を単一出力として返す方式と説明されています。
今回公開したLean 4リポジトリでは、二つの意味中心から定まる「意味通路」の構造、一次元上の最適点が一意である場合に全空間でも対応する最適点が一意になること、同点時の規則を含め有限候補から一つを決定論的に出力することの形式化を進めたとしています。国際出願番号はPCT/JP2026/023749、公開先はGitHubの gd-attention-lean リポジトリです。
②意味生成OS ― どの意味状態へ遷移してよいかを判定
意味生成OS(MG-OS)は、複数の主体や観点に対応する評価を統合し、意味状態の候補を比較したうえで、遷移を認める条件を証明書から判定する技術と説明されています。公開した最小形式検証核では、区間で表された評価値、遷移経路上の共鳴低下の証拠、安全余裕および「CBC+」と呼ぶ安全条件を組み合わせて三つの状態を返す設計を示しています。
両技術の関係について同社は、意味生成OSが「どの意味状態へ遷移してよいか」を検証し、GD-Attentionが「その状態で複数候補のどれを選ぶか」を検証する二層構造と位置づけています。国際出願番号はPCT/JP2026/025235、公開先はGitHubの meaning-generation-OS-lean リポジトリです。
編集部からひとこと
発表内容は基盤技術のPCT国際出願と、限定された数理核のLean 4形式化・GitHub公開までです。各国での特許成立や商用実装の詳細については、今回の発表では触れられていません。数理核を第三者が再ビルドできる形で並行公開する姿勢は、AI基盤技術の議論の透明性という観点から参照される可能性があります。詳細は同社のプレスリリース原文と、公開されたGitHubリポジトリをご参照ください。
本記事は、FrontJournalが公開情報をもとに独自に分析した第三者コンテンツであり、対象企業・研究機関の公式見解ではありません。
この企業の方へ
内容に誤り・更新が必要な点があれば、可能な限り速やかに修正します。お気づきの点はお問い合わせまでご連絡ください。
掲載情報の修正・写真の追加・更新はこちら