>>457
>知性が低く、高エントロピーの記述しかできないから。
あ、そう
大学には証明を解くときに「任意の」や「或る」を使って書くときに
「∀」や「∃」の記号を使って簡単に書いてはいけない
といってた教授がいたけど、AIは証明の正しさをその基準で判断するのか