AI利用

開発補助
⓪chatgptを導入
①システムを勉強させる
②システムについて会話（構文チェックなど）
③システムの改訂（コード作成など）

証明補助
証明の一つのやり方…何らかの言語で書かれた証明(の方針)をProver語に翻訳してProverに渡す。
その一部を実装済…\(\blacktriangleleft\)の注釈にあるtxtを定理チェックに入れるとproverが証明してくれる。
txtは長くなることも多く、作るのは一苦労。
・（実装済システム内でもそれ以外でも）コンピュータ将棋のように探索をできるようになって欲しい。
・数学書からtex混じりの自然言語を読み取ってtxtを作れる？