新しい問題
分野・難易度・使える知識を指定して、問題と解答のPDFを作成します。
作問条件
自由な文章で指定生成・検証について
このタブの追加分は順番に開始します。同時生成はアカウント全体で3件、アプリ全体で6件までです。生成中はこのタブを開いたままにしてください。
GPT-6.1 Solが作問し、GPT-6 Lunaが並行レビューします。Lean証明はAXLEで検証し、PDFはLaTeX-on-HTTPで組版します。文章と形式化の対応を数学的に保証するものではありません。
条件と作問データはOpenAI、証明はAXLE、組版用テキストはLaTeX-on-HTTPに送信されます。
完成したPDFをここに表示します
作問条件を入力して「問題を作成」を押してください。
問題と解答を1つのPDFに保存先：ライブラリ
ライブラリ
保存した問題を検索・分類できます。
PDFと作問条件は、アカウントごとにサーバーへ保存されます。