>>475

何が難しいんですか？

人間にとって理解するのが難しい命題の特徴って何なんですかね？

人工知能を使って、命題の難易度を数値化できないですかね？

形式論理で命題の証明を書いたとして、ぱっと見、理解するのが難しい命題と
簡単な命題は区別がつかないと思います。