Spicaが導き出す「真の最適解」とは？

Spica（スピカ）とは、ドメインの暗黙知を最適化問題として定式化し、立式された最適化問題に対して、最適解を自動で求めるAIです。人間のフィードバックを取り入れながら「定式化そのものを探求・進化させる」新しい最適化アプローチを構築します。人間と AIの協調によって、人間だけでもAIだけでも到達できない、ドメインの「真の最適解」を導き出します。

なぜ定式化が重要か？

熟練者が行う高度な判断や設計では、「どう進めるか」という手順だけでなく、「この条件は当たり前に満たしていなければならない」などという制約条件や「何をもって良しとするか」という目的関数も暗黙知化しています。また、これらの暗黙知は熟練者自身も言語化ができていないことも多くあります。Spicaは、企業の中に眠るこれら暗黙の手法と評価指標を数学的モデルへ定式化し、誰もが活用できる形式知へと変える AIです。

定式化ループと最適化ループの仕組み

「定式化ループ」で熟練者の業務フローを最適化問題へと落とし込みます。最適化問題とは、データ・変数・制約条件・目的関数の４つの概念を定式化します。定式化された問題に対して、「最適化ループ」により、実行・評価・候補生成・選択をすることで、繰り返しより良い解を出力します。その結果に対して人間のフィードバックを「定式化ループ」へ還元することで、定式化の精度と最適化の結果を相互にブラッシュアップしていきます。