AI回答の信頼性検証へ新手法「Theoria」、サルディバー氏らが論文公開
マイケル・サルディバー (Michael Saldivar) 氏とベン・スリビンスキー (Ben Slivinski) 氏は2026年7月1日(現地時間)、AIシステムの回答の信頼性を検証する新しいアーキテクチャ「Theoria」に関する論文をarXivに公開した。このアーキテクチャは、形式的な証明支援システムとスカラーLLM評価システムの間のギャップを埋めることを目的としている。候補となる解答は、明示的な正当化を伴う型付き状態遷移のシーケンスに書き換えられ、各遷移は独立して監査可能となる。