数学とAI -- スコット・アーロンソンの絶望
今年に入ってからの数学とAIの急接近とAIの成功は、「活発な論争」を巻き起こしているだけではありません。それは、少なくない鋭敏な数学者たちに、大きな衝撃を与えています。 それは「絶望」と呼んでいいものです。 「世界史的なマイルストーンが達成されたという話なんか、もうたくさんだ」 Enough with all the world-historic milestones https://scottaaronson.blog/?p=9979 というblog で、彼はこう語ります。 「とにかく、AIの話ですが。これが文字通り私たちにとって最後の年になるかどうかは分かりません――そうは思えませんが――しかし、私たちがこれまで知ってきたようなスタイルでの数学や理論計算機科学の研究にとっては、間違いなく最後の年になることは明らかです。」 「ところで、ここ数週間、私は何をしていたのでしょうか？ 紙面上では、私が参加するのにこれ以上ないほど適任と思われる、こうした世界史的な動きに加わっていたのでしょうか？ あるいは、少なくともそれらについて調べることに日々を費やしていたのでしょうか？ そうでもありません。こうした事柄に直接取り組む代わりに、私がやっていたことは次の通りです： まず、エプシロン・キャンプで11歳と12歳の子供たちに理論計算機科学を教えていました。ここには、私の9歳の息子も今年も参加者として参加しました。これについては去年の夏にブログに書きました（講義ノートはこちら）。これは私にとって、一年のハイライトとなっています。子供たちは教えるのが楽しくてたまらないほどで、熱意にあふれ、次々と答えを叫んでくれます。目に入るコンピュータはほとんどなく、スマホを使ったりSNSをチェックしたりする時間さえほとんどありません。あるのは紙と鉛筆、ホワイトボード、そして……文字通りの分度器（！）だけ。それに、卓球やテーブルサッカー、キャプチャー・ザ・フラッグといった遊びもあります。 こうした一連の活動は、無知から行われているのではなく、迫り来る津波――つまり、こうしたキャンプで議論されるような「楽しいパズル」のほぼすべてを、AIがすでに人間よりもはるかに上手に解けること、そして、この優秀な子供たちが大人になる頃には、人間主導の数学研究に意味がなくなってしまうかもしれないという事実...
