委譲が得になる条件

命題 3.1（「LLMとプログラミング」§3）・ ✓公理まで証明済み

LLM に一度依頼し、出力を検証する。合格すれば採用して終了する。不合格なら出力を捨て、人間が最初から自分で仕上げる。

この戦略の期待コスト $C_1$ は

C_1 = c_g + c_v + (1 - p)\,c_h

であり、 $C_1 < c_h$ が成り立つのは

p > g + v

のとき、かつそのときに限ります。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 0 件、定義なども含めて 1 件）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。