>>71
そこはネックじゃなくて論外ってこと
ちなみにAIコミュニティは算数の問題が解けると数学はすぐ到達できると
見ているらしい。自動推論という意味では本質が変わらないという考えだろう