Hiroyasu Miyazaki

Mathematician at NTT R&D, Institute for Fundamental Mathematics. Motives. 民間企業で働く数学者です。モチーフ理論を主に研究しています。

[Hiroyasu Miyazaki @Miyazaki_Math]

https://t.co/ieHuezXviy

AIと数学コミュニティの関わりについて書きました。ある意味では身も蓋もない主張ですが、現時点で私は確実に言えることだけを詰め込んでいます。

社会の皆様への、数学者に対する暖かい眼差しとご支援を、伏してお願い申し上げたい、という趣旨の投稿です。

[Hiroyasu Miyazaki @Miyazaki_Math]

数学という「志学」の道を果敢に歩んでいた若者が、もしAIの動乱に心をかき乱され、なんだか元気が出ないのならば、1週間でもいいので徹底的に休んでほしい。もちろんもっと長くてもいい。休息は停滞ではない。自身の魂と情熱の「灯」を全力で労り護って欲しい。自らの生き物としての力を信じて欲しい

[Hiroyasu Miyazaki @Miyazaki_Math]

ある程度以上の���模の組織のパワーを最大化するためにはマネジメントが確実に必要である(AIは、人間から学習しているせいだろうか、適切なマネジメントを行わなければ十分に力を発揮しない)。職人的な数学者はこれからも必要だが、マネジメント力を備えた数学者が絶大な力を発揮する可能性は高いと思う

[Hiroyasu Miyazaki @Miyazaki_Math]

AIが数学に引き起こした動乱のポシティブでありうる一面は、史上初めて個人の数学者が膨大な「部下」を手にできたことだろう。末端の部下を統括する管理職を統括する管理職を自身が統括することもできる。基本的に徒弟制、一子相��的でだった数学に「マネジメント」のパワーを持ち込めるようになった

[Hiroyasu Miyazaki @Miyazaki_Math]

@foxq0113 リポストありがとうございました。いくばくかの専門性と、個性とやりたいことを維持することを指して「才能」と述べたつもりでしたが、才能という表現が適切でなかったかもしれないと反省しております

[Hiroyasu Miyazaki @Miyazaki_Math]

数学者たちは理由のない欲望と理由のない自信と理由のない希望を持つべきである。理由を持てばそれが覆ったときに揺らいでしまう。理由などない衝動(あるいは「狂気」)は決して突き崩されない。なぜなら理由がないのだから

[Hiroyasu Miyazaki @Miyazaki_Math]

数学者としての私は、数学者たちのこころが1日も早く平穏を取り戻してほしいと心の底から願っている。私の見立てでは、AI時代に最も必要とされるのは結局のところ専門性と謎の動機(あるいは欲望あるいは執着)であり、数学に対して継続的にそれを維持できる謎の才能を持つのはやはり数学者に違いない

[Hiroyasu Miyazaki @Miyazaki_Math]

https://t.co/o9D9uwHv7o
(忙しくて考えをポストできませんが、代わりに情報共有)

[Hiroyasu Miyazaki @Miyazaki_Math]

(書き忘れていたので)明日以降は、AHM(Association for Human Mathematics)について自分の現時点での考えを書いていくつもりです。

[渡邉究/数学科教員/KADOKAWAより「すごすぎる数の図鑑」発売中/YouTube @Kiwamu_Watanabe]

数学へのAI利用について⬇️が立ち上がっていることを今日初めて知った。Peter Scholzeなど��含まれている。

Association for Human Mathematics
https://t.co/M5GlscQoLd
「数学を人間の営みとして守る」ことを掲げ、会員には、商業AI企業に数学的知識やコンサル等を提供しないこと、AI生成の論文・査読レポート・講義ノート等を出版しないことを求めている。さらに「AI-free caucus」では、より強い立場を取る人のための追加条件も設けられている。

こうした動きが、AIを使う／使わないで数学界の中に分断を生んだり、他分野や社会との距離を広げたりすることにつながらないか、懸念している。

[Hiroyasu Miyazaki @Miyazaki_Math]

【自分への宣言】今日のXはここまで。

[Hiroyasu Miyazaki @Miyazaki_Math]

というわけで、ひょっとするとこれからは、数学の研究が（結果として）社会全体にダイレクトに貢献する時代が来るのではないか、と思うわけです。AIと向こうを張って数学の議論をバチバチと行える力を持つ人材（＝数学者）の社会における重要性と価値は、むしろ高まっていく可能性すらあると思います。

[Hiroyasu Miyazaki @Miyazaki_Math]

まとめると「数学者主体の数学の研究を継続する　→　研究が爆速で進む中でも数学者（とコミュニティ）がAIに適切な介入を行う能力を維持できる　→　AIの推論能力の向上と効率化　→　科学技術全般の研究の加速と効率化」ということになります。

[Hiroyasu Miyazaki @Miyazaki_Math]

AIの数学的推論能力の効率化は、おそらく、科学研究全般（医療等の応用分野も含���て）におけるAIの能力向上と効率化を招くでしょう。そうなれば、数学者のAIへの適切な介入によってAIの能力を高める行為は、人類社会の科学技術の発展にダイレクトに貢献することになります。

[Hiroyasu Miyazaki @Miyazaki_Math]

したがって、「AIへの適切な介入による研究の効率化」が数学者の唯一の存在理由になってしまう日が訪れたとしても（まだその日は全然きていませんが！）、適切な介入を行う能力を獲得・維持するためには、人間による主体的な数学の研究も必要であるということになります。

[Hiroyasu Miyazaki @Miyazaki_Math]

そして、人間の数学者がAIに適切な介入を行うためには、人間自身が（AIあるいはAIの支援を受けた数学者が爆速で開拓する）数学のフロンティアにキャッチアップすることが不可欠です。そしてフロンティアへのキャッチアップを行う最良の方法は自ら研究を行うことです

[Hiroyasu Miyazaki @Miyazaki_Math]

「AIが登場したとしても数学のフロンティアの（効率的な）開拓には人間の数学者��介入が必要である」という、少なく��も当面は正しいであろう主張を、コミュニティが一貫して主張していくことは重要なのではないか、と感じています。

[Hiroyasu Miyazaki @Miyazaki_Math]

AIを数学の研究に積極的に使っている当事者としては、少なくとも当面の間（それが数年か、数十年か、あるいは一世紀かはわかりませんが）は、専門知を有する数学者の介入なしには、AIは効率的に数学のフロンティアを開拓することができないだろうと感じています。

[Hiroyasu Miyazaki @Miyazaki_Math]

したがって、数学の研究は社会にとって重要である、と支援者が判断してくれる限りにおいては、その重要と判断される度合いに応じて、数学者も支援を受けることが完全に正当化されました。

[Hiroyasu Miyazaki @Miyazaki_Math]

これまでは、数学の研究の大部分（特に理論の構築や証明）を人間の数学者というハードウェアに依存していたので、「数学への支援」と「数学者（とそのコミュニティ）への支援」がほとんど同じことを意味していま��た。

[Hiroyasu Miyazaki @Miyazaki_Math]

今日は「これまで数学はどのような理由によって社会から支援を受けてきたのか」、「これから数学はどのような理由によって社会から支援を受けられるのか」ということを考えたいと思います。