AI利用

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

証明探索
現状、\(\blacktriangleleft\)の注釈を定理チェックに入れるとproverが証明してくれる。
/ の計算や補題などを細かに指示しているため、かなり長いものが多い。短縮したい！
まずはphpで証明探索と呼べる事を実装？
しらみつぶしで良いので全候補をproverに渡す？
コンピュータ将棋のように探索をできるようになって欲しい。
証明は１つでも道が通れば一応OK