>>455
>>451で指摘したのは、「>>429の「凹性などという数学の言葉でない言葉」とか言ってるけど、どう見ても数学の言葉ですので」です。
あなたが書いたことを指摘しています。もう一度よく見ましょう。


同様に>>451では、>>391背理法の考え方を問題視しています。

具体的には以下です。

--------
>∃n(反例)を仮定
>矛盾を導く
>⇒ ∀n(反例なし)
こんな事がよく書けたものだ。AIが完全に背理法を理解していないことがここで明らかになった。

>∃n(反例)を仮定
>矛盾を導く
ここまではよくても、全てのnでこの矛盾が生じることを示さなければならない。