自律する社会に、証明できる信頼を。株式会社ChoiceProof、AI・ロボット時代の社会基盤となる「実行証明」の独自理論を発表

公開：2026年10月27日

CodeCampが提供するDX人材育成が可能なプログラミングやITが学べる公開講座

この記事はプレスリリースです

本記事は、PR TIMESに掲載された企業・団体等のプレスリリースを原文のまま転載しています。記事内容は発表時点の情報です。

発表元: 株式会社ChoiceProof
原文: PR TIMESで元のプレスリリースを読む
配信日時: 2026年10月27日 16時00分
転載日: 2026年10月29日

発表内容については発表元へ、当サイト上の訂正・削除については、当サイトのお問い合わせフォームにご連絡ください。

転載

プレスリリース本文

従来の数学的限界を突破し、自律システムの「信頼性」と「検証費用の最適化」を両立。日本発・グローバル展開を見据え、社会の基幹業務を支えるインフラを構築

AIが巨大な資金を動かし、ロボットが産業の生産を担い、自律システムが宇宙空間で活動する。人類が機械に任せる仕事は、単なる効率化のツールから社会の中枢（コア）へと急速に広がっています。

その未来において最も重要な課題は、「任せた仕事が間違いなく、かつ悪意なく実行されたことを、社会がどう検証し、信頼するか」です。

株式会社ChoiceProof（本社：東京都港区、代表取締役：呂冠辰）は、この課題を根本的な「数学の力」で解決します。実行の要求と証拠を結び付け、第三者が結論を独立して確かめる技術。故障や悪意あるデータ改ざんにどこまで耐えられるかを証明する理論。そして、エンタープライズ水準の信頼性を得るための検証費用を最小化する研究。これらを通じて、システムに重大な意思決定を任せるための「証明できる信頼」を設計します。

■ 実行検証の限界を突破する、新たな数学基盤の確立

複数の証拠が同じ原因で信頼を失う（単一障害点や共謀）とき、そのリスクをどう正確に評価し、防ぐか。ChoiceProofの研究チームは、従来の有向超辺表現などの枠組みでは捉えきれなかった複雑な依存構造を解明し、その構造が現れる最小規模を数学的に特定することに成功しました。

この独自の数理モデル（MILPを用いた自動設計技術等）により、誤った実行を正しいと見せかけるために必要な「最小侵害コスト」を算出し、独立して検査可能な証明を発行します。これにより、企業は「どこまでシステムを信頼できるか」、そして「その信頼を担保するために最低いくら必要か」という、これまでブラックボックスだったリスクとコストに、厳密な数学的根拠を持たせることが可能になります。

■ 概念実証（PoC）から、社会の基幹業務を担う共通基盤へ

ChoiceProofの技術は、すでに理論の段階を超え、実際の産業界での実装が始まっています。グローバル規模の石油化学企業とのエンタープライズ資産管理（EAM）領域におけるPoCを完了しており、今後は金融、自動車、航空宇宙、産業用マニュファクチャリングなど、極めて高い信頼性が求められるエンタープライズのワークフローへの統合を進めます。

企業が重要な業務を委ねるとき、現場が自律機械を受け入れるとき、その判断を支える揺るぎない証拠と証明を届ける。実行の確実性と検証の経済性を両立させ、世界中の自律システムを支える次世代のトラスト・インフラを日本から構築します。

■ 代表取締役呂冠辰コメント

「人類がAIに委ねる役割は、個々のタスク支援から、社会そのものを動かす『意思決定と実行』へと進化しています。その時代には、実行の正当性を証明し、検証する技術が、社会インフラの根幹を担うことになります。

私たちは、AIの実行プロセスにおける信頼性を数学的に定義し、それを最も経済的なコストで実装できるアーキテクチャを設計しました。重要な業務を安心して任せられる『絶対的な確かさ』と、世界中のあらゆるシステムに組み込める『経済性』。その両方を妥協なく追求します。

当社のトップレベルの研究者たちと共に、このような革新的な成果を生み出せたことを、私は大変誇りに思っています。

AIとロボットが世界を動かす未来において、実行の証明を共通基盤として根付かせる。ChoiceProofは、そのグローバルスタンダードを日本から創り出します。」

プレスリリース転載ここまで

ブログに戻る