「AI」…。sympy_matrix_tools/logic_tools.py…

jrf> 「AI」…。sympy_matrix_tools/logic_tools.py で簡単な Prover を作ったのだが、そこに Isabelle などの証明(プログラミングコード)を AI で変換して持ってこれないか…とか妄想することはある。現状またはこの先の私では歯が立たないほど高度なことなのでほぼ諦めてるが。

あと、易占いに ChatGPT とか使えないか…というのはある。AI で占いするというだけでなく、AI がどう占うかの統計を取って、つまり AI にシミュレーションさせて統計を取り、それを人の占いに活かせないか…とかは考える。特定の AI フレームワークに縛られないようにはどうするか…とか考える。