Tetsuya_Ito

再び京都で数学をしているつもりです。

[Tetsuya_Ito @tetitoh]

もちろん、ＡIの証明を理解してそこからアイディアや手法を抽出して、ということで発展するのだろうけれど、そのようなことをする意欲は普通に研究するよりも低くなってしまうのではないだろうか（少なくとも自分は）。

[Tetsuya_Ito @tetitoh]

そうなると、問題をAIが解決するというのは短期的にはプラスだけれど、本来その問題を考えることでより自然な、あるいは新しいアイディアや着想が生まれる土台が失われてしまう、というのは長期的にはマイナスの効果があるのではないか、と感じたわけである。

[Tetsuya_Ito @tetitoh]

問題を解くというのは証明を与えることもそうだが、その道中での様々な理論や結果・アイディアが発展することも重要な意味を持つ。こうやって（細部は読奥分からなくてごちゃごちゃしているが）解かれたようだ、となるとその問題を考える人は減ってしまう。

[Tetsuya_Ito @tetitoh]

いろいろな道具が持ち込まれているのだが、それがどのように使われているのかとかがわかりづらすぎる。それは、ただ書き方が難解だ、というよりも、どのようなアイディアで考えて結論にたどり着いたかが（少なくともAIが書いた文章では）見えない、ということである。

[Tetsuya_Ito @tetitoh]

普通なら、イントロや証明の細部は読まずに主張たちを読んで論理を追うことで、その証明のアイディアや新しい手法がどのようなものかある程度わかるのだが、（私の理解不足もあるとしても）AIの論文だとそれが何なのかよくわからない。

[Tetsuya_Ito @tetitoh]

まず前提として：実際に証明の細部を全部理解したいと思って読む論文はごくわずかで、本当に理解したいのはその証明の（新しい）手法やアイディアで、多くの場合は手法とアイディアを理解することで研究や理解が深まる。

[Tetsuya_Ito @tetitoh]

OpenAIの論文の中には、自分も少し研究したことのある(Purely)cosmetic surgery予想 の解決もあった。解決自体はもうすぐされそうだなと思っていたので驚きはないが、（少なくともこの問題については）AIによる問題解決の負の側面を強く感じるものに思う。（続く）

[Tetsuya_Ito @tetitoh]

自分の恩師の退官記念の研究集会に出て大学院生の時代の時に戻ったような感覚になった一方で、（ここ数年東大数理に行くことがなかったこともあって）駒下や駒場キャンパスが大きく変わっていて時の流れを強く感じた。

[Tetsuya_Ito @tetitoh]

書いておきたいことはいろいろあるけれどゆっくり各時間と気力が次はいつ出てくるか。

[Tetsuya_Ito @tetitoh]

ひっそりと自分のホームページに数学的な読み物をいくつか置いた。気になるけどまじめに考えたり調べだすと面倒なこと、普通に最短距離で研究に進むと飛ばしてしまうけれども本当は（事実としてある程度）知っておくとよいことなどなど。

[Tetsuya_Ito @tetitoh]

後は自分が講演する時には、基本的には細かい証明とか技術的なことよりもアイディアや、むしろそのアイディアがどう考えたら自然に感じるか、思いつけるか、ということを話すのが好きというのも大きい気がする。

[Tetsuya_Ito @tetitoh]

忘れないうちに昨年の講演の記録を追加していたら、自分の講演では「～速習」みたいなものが結構多いのに気づいた。その分野の話や技術が使えそうかどうかを大体わかればいいや（必要になったら細かく勉強する）という自分のスタイルを反映しているのだろう。

[Tetsuya_Ito @tetitoh]

毎年恒例の、気づいたら年末になっていて今年も何もできなかったという感覚。

[Tetsuya_Ito @tetitoh]

講演のノートの細部や証明、時間の都合で省いたことを補って膨らませて、サーベイを書いたりすると需要はあるのかもしれないと思ったけれど、それをやるのはあまりにも大変だから妄想でとどめておこう。

[Tetsuya_Ito @tetitoh]

昨日の講演は自分の想像以上に盛況で、うれしい誤算でした。こういうサーベイ講演の準備は自分の知識と文献の整理ができて研究結果の講演とはまた違った勉強になりました。

[Tetsuya_Ito @tetitoh]

今週は小ネタの短い（私の論文は基本すべてそうだが）論文が二つアクセプトが帰ってきて一安心した。年々、リジェクトが来ると悲しいのはそのままだが、アクセプトが来ると喜びではなくて、試験の採点を終えた時のような、物事が一つ片付いた安堵を強く感じるようになっている・・・。

[Tetsuya_Ito @tetitoh]

自分の研究はその分野の人には知名度が低い他分野の知識やトリックを引っ張ってくる、というものが多いのでこういう機会は非常に役立つ。私のその場の思いつきの企画に参加していただいた皆様、ありがとうございました。（ここで書いてもあまり意味はないですが）

[Tetsuya_Ito @tetitoh]

Ｍaria Cumplidoさんが京大に滞在されるのでいい機会だと土曜日にArtin群の集会を開催した。順序群の集会とかもそうだけれど、普段の集会ではまず会うことがないけれど、同じ（だったり関連していたりする）対象を扱う分野が少し違う人の話を聞いて大雑把に話を理解するのは楽しい。

[Tetsuya_Ito @tetitoh]

今週はarXivに論文を三本出した。物事の締め切りとかリジェクトの通知とかみたいに、こういうことは特定のタイミングに集中する傾向にあるのか。

[Tetsuya_Ito @tetitoh]

今月の『数学セミナー』に正井君の本の書評を書いた。これを見た正井君の反応が気になるところ。私の脳内のイマジナリー正井君は「いとてつさん、書評書いてくれたんですか～ありがとうございます」とにこやかに反応してくれているが、本物の反応はいかに・・・