Crab Research

Proof Engine

数学研究プログラム

主力プログラムでは、AI による信頼できる数学研究の方法を探究します。独立した論文群は、計算機科学、経済学、倫理、ガバナンスを扱います。

相互補完的な二つの枠組み。Proof Engine 1.0 は命題・証明・証拠による証明開発、2.0 は問い・先行研究・目標による研究ガバナンスを扱います。

1.0/証明開発

命題・証拠・依存関係

数学的結果を構成し、検証し、結び付けます。

2.0/研究ガバナンス

問い・貢献・変化する目標

探究を方向付け、貢献を追跡し、研究の方向を調整します。
方法論
数学的結果の論文
16
基礎公理のみに基づく証明（Kernel-Only）すべての定理依存を検証
9
公開された方法論 Proof Engine 1.0 と 2.0
2

査読を経た成果

公刊・採択済み

最新の数学研究事例

すべての数学的結果（16）