一応言っておくけど、上記の定理は比較的有名な定理なので、
そのものズバリの証明がネットに転がっている。
なので、現状のAIでも、その証明をカンニングすれば、
この問題に限ってはピンポイントで答えることは可能。

俺が知りたいのは、そういうカンニングじゃなくて、
いわゆる「自己学習」だけでマトモにこういう問題が
汎用的に扱えるAIはいつになったら登場するのかってこと。

もう1つ言っておくけど、上記の定理について、
d(f(x),f(y)) ＜ d(x,y) という不等式を
d(f(x),f(y)) ≦ d(x,y) に差し替えてしまうと
反例が存在するので、「＜」でないとダメ。

つまり、AIが上記の定理を証明するなら、
「＜」と「≦」の違いを正確に把握してないとダメ。
欲を言えば、「≦」の場合に反例があることを

「こちらが聞いてもいないのに勝手に補足してくれる」

ようなAIだと非常に助かる。
そんなAIはいつになったら登場するんだ？