このサイトについて

problemyriad は算数から大学院までの数学と、中学・高校の理科（物理・化学・生物・地学）と大学の物理・化学の問題を段階的なヒントと解説つきで解ける学習サイトです。問題は AI（大規模言語モデル）が作成し、次の確認を通ったものだけを載せています。

問題の確認の流れ

次の確認はすべて自動で行い、通った問題だけを自動で公開しています。

形式の確認: 数式が正しく表示できるか、答えの形が正しいかを機械的に確認します。
別の AI による独立した解答: 作問とは別の AI が答えを見ずに 3 回解き、3 回とも作問時の答えと一致することを確認します。一致しないときは問題を直して解き直し、直せなければ載せません。
プログラムによる検算: 答えを計算するプログラムを書いて実行し、答えと一致することを確認します（全通りの数え上げ、数式処理、シミュレーションなど）。
AI による査読: 条件の過不足、答えが一つに決まるか（解答した AI が補った解釈も含めて）、解説の各ステップ、範囲や表記を審査します。
上の確認を通っても、次のような慎重に扱う問題は公開を見送ります。
- 解いた AI が問題文のあいまいさを指摘した
- プログラムで検算できなかった
- 問題文と前提条件で数値が食い違っている

途中で誤りを指摘されて直した問題は、直したあとに上の確認をすべて最初からやり直し、通ったものだけを公開します。

大学数学・大学院数学の「〜を証明せよ」という問題は、比べる答えがないので、次のように確認しています。

別の AI による独立した証明: 作問とは別の AI が模範解答を見ずに 3 回証明を試みます。反例を見つけたら問題を直し、3 回とも自信をもって証明できたものだけを公開します。
模範解答の採点: 2 つの AI が独立に、模範解答の証明を 1 ステップずつ確かめます（定理の前提を満たしているか、場合分けの漏れ、循環論法がないかなど）。1 つでも誤りを指摘したら問題を直します。
AI による査読: 命題が正しく述べられているか、解説・ヒント・採点の観点を審査します。

証明問題には答えの入力欄がありません。自分で証明を書いてから「採点の観点」と「模範解答」を見比べてください。

公開前に、人が問題を 1 問ずつ確認することはしていません。確認の仕組みが誤りを見抜けるかは、わざと誤りを入れた問題を混ぜて測っています（直近の測定では、わざと誤りを入れた 54 問のうち 49 問を見抜きました）。

それでも誤りが残る可能性はあります。間違いを見つけたら、各問題のページの「間違いを報告する」から知らせてください。報告を確認して、問題を直すか公開をやめます。確認中の報告が集まった問題には、ページの上に「確認中」と表示します。

問題・ヒント・解説は CC BY 4.0 です。

報告・学習の記録・アクセス数・広告で、どんな情報を保存・送信するかはプライバシーポリシーにまとめています。

shakayami（X: @shakayami_）