GeoCert：信頼できる予測のための認定（認証）幾何学AI

arXiv cs.LG / 2026/4/28

📰 ニュースIdeas & Deep AnalysisModels & Research

共有:

要点

GeoCertは、予測・物理的推論・形式的検証を1つの微分可能な計算の中で統合する幾何学AIフレームワークとして提案され、信頼性と解釈可能性の向上を目指しています。
この手法は、予測を双曲多様体上での進化としてモデル化し、負の曲率によって収縮ダイナミクスを誘発することで、内在的ロバスト性と高速（対数時間）な認証を可能にします。
GeoCertは階層的な制約アーキテクチャを用いて、普遍的な物理法則と領域固有のダイナミクスを分離し、エネルギー・気候・金融・交通などで「認定された」一般化を狙います。
著者らは、最先端の精度を維持しつつ計算コストを97.5%削減し、さらに認証率もより良いと報告しています。
総じてGeoCertは、予測を経験的近似から、形式的に検証された・物理に根ざした・再現可能な推論へと転換することを目指しています。

Abstract

科学における予測システムは、正確であり、物理的に整合しており、そして認証可能な信頼性を備えている必要があります。既存のほとんどのモデルは、予測、制約の強制、検証を別々に扱っているため、スケーラビリティと解釈可能性が制限されます。本稿では、予測、物理的推論、形式的検証を単一の微分可能な計算の中で統合する幾何学的AIフレームワークであるGeoCertを紹介します。GeoCertは、双曲多様体上での進化として予測を定式化します。負の曲率が収縮ダイナミクス、固有の頑健性、そして対数時間の認証を誘発します。階層的な制約アーキテクチャは、普遍的な物理法則と領域固有のダイナミクスを分離し、エネルギー、気候、金融、輸送システムにまたがって認証付きの一般化を可能にします。GeoCertは、計算コストを97.5%削減しつつ、最先端の精度を達成し、さらにより良い認証率を維持します。学習の幾何学に検証を埋め込むことで、GeoCertは予測を経験的近似から、形式的に検証された推論へと変革し、信頼でき、再現可能で、かつ物理的に根拠のある科学的AIのためのスケーラブルな基盤を提供します。