>>62
既に自然言語では質問するとなかなか良い人間レベルの解答を出せる
&GPT5では探索アルゴリズムとQ学習により算数の問題が解けると示唆されている
&AlphaGoでは既に囲碁で人類を打ち負かしている
&Leanでは研究レベルの数学の形式化が蓄積している

これでも可能性が低いと思う？