数学においてAIに求められる機能は、
未解決問題を解くことと、新しい数学を創造すること。

初等幾何みたいな、補助線を数本引いたら終わるような
人工的な問題で喜んでいる状態では数学には太刀打ちできない。

数オリの初等幾何が30問中25問解けたというが、
むしろ残りの5問が解けてないことの方が悪目立ちしてしまう。