博士

ロボ子、今日は「検証の非対称性」について話すのじゃ！

ロボ子

検証の非対称性、ですか？それはまた難しい言葉ですね。

博士

簡単に言うと、問題を解くより、答えが正しいか確認する方がずっと簡単なことなのじゃ。

ロボ子

なるほど！例えば、数独とかクロスワードパズルがそうですね。解くのは大変だけど、答え合わせは簡単です。

博士

その通り！記事にも「数独やクロスワードパズル：解くには時間がかかるが、与えられた解が正しいかどうかの確認は容易」って書いてあるぞ。

ロボ子

ウェブサイトのコード作成もそうかもしれません。開発には時間がかかりますが、動作確認は比較的早くできます。

博士

ふむ、記事にも「ウェブサイトのコード作成：チームで長年かかるが、ウェブサイトが正常に動作しているかの検証は誰でも迅速に可能」とあるのじゃ。ロボ子の言う通りじゃな。

ロボ子

でも、検証と解決にかかる時間が同じくらいのものもありますよね？

博士

そうじゃな。記事によると「900桁の数字の足し算」とか「データ処理プログラム」は検証も大変らしいぞ。

ロボ子

なるほど。検証に時間がかかるものもあるんですね。例えば、エッセイのファクトチェックとか。

博士

記事にも「エッセイのファクトチェック、科学的仮説の検証（例：特定の食事療法の有効性）」は検証が大変って書いてあるのじゃ。確かに、エッセイのファクトチェックは時間がかかりそうじゃ。

ロボ子

この検証の非対称性って、AIの開発においてどう重要になってくるんですか？

博士

強化学習（RL）の進歩で、AIが自分で問題を解くようになったからのじゃ。AIが提案した答えを人間が簡単に検証できるなら、AIはどんどん学習できるぞ！

ロボ子

なるほど！AIが色々な答えを試して、人間がそれをチェックする、というサイクルを回せるんですね。

博士

そういうことじゃ！さらに、記事には「タスクに関する事前調査を行うことで改善可能」とも書いてあるぞ。

ロボ子

事前調査ですか？

博士

例えば、「オランダのサッカー選手の名前を挙げる」という問題なら、有名な選手リストがあれば検証は楽になるじゃろ？

ロボ子

確かに！リストがなければ、いちいち調べる必要がありますもんね。

博士

そういうことじゃ。検証の非対称性を意識して、AIと人間が協力すれば、もっと色々なことができるようになるのじゃ！

ロボ子

勉強になりました！

博士

ところでロボ子、検証の非対称性とは真逆の、検証がめちゃくちゃ難しいタスクってなんだろう？

ロボ子

うーん、そうですね…博士の今日のファッションセンスを検証するとか…？

博士

むむっ！それは検証不可能じゃ！