Zenn (AI)Japan
AIの「解は一意」を点検する：存在と「高々一つ」を分けよう
AIから「したがって解は一意です」という証明案を受け取ったとき、その直前までに解があることも示せているでしょうか。 「二つの解を取ると、それらは等しい」と分かっても、解が一つもない可能性は残ります。この記事では、実数の方程式 ax=b を使い、存在・高々一つ・一意存在を分けて点検します。 AIの証明案をLean 4で検証した記事では、コードが通ることと元の問題を解いたことの違いを扱いました。
Read at Zenn (AI) ↗More from Zenn (AI) on Accept All
JapanClaude Codeのhooksで作業を自動化する Zenn (AI)
JapanAIエージェントの機能を消さず、自己改善で「最初に読む情報」を42%減らした Zenn (AI)
Japan日本語入力システムSumibiの開発 part29: Jevは変換のタイミングを決められるか Zenn (AI)
Japan1ヶ月で腐るのはリストの中身 — 余白30分の「鮮度管理」を運用表に足す設計 Zenn (AI)
JapanAIモデルのコスパを1枚のグラフに：性能スコア×API料金で見る23モデル（2026年10月） Zenn (AI)
