情報科学 › AI時代の生存戦略 › LLMとプログラミング
もっともらしい誤り
LLM の出力のうち、形式的な整合性（構文が通る、型が合う、命名規則に従っている、説明が自然な日本語や英語になっている）を満たしながら、意味的に偽であるものを、この記事ではもっともらしい誤りと呼びます。存在しない API の呼び出し、境界条件を落とした実装、実際とは異なる出典の引用などが該当します。
閉包の状態
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。