論理思考特化のo1というのが出てきて経済とか量子力学とかで使いたいと思っ..

論理思考特化のo1というのが出てきて経済とか量子力学とかで使いたいと思ったんだけど、なんかこう、Leanコードにして証明問題にするとかそういうことはできないんかね？

どうせなら、AlphaProofみたいに数学的証明特化型みたいなのがあれば正しいかどうかの確認がしやすいのだけど