この6ヶ月間、こんなにプレッシャーのかかっている分野をどうやって守るの？ドードーのようになってしまう気がする。早めに博士号を取って、新しい世界に移住して、トゥクトゥクの運転手になった方がいいかも。

数学が解決されたら、解決されていない分野に移ればいいじゃん。なぜ分野をAIから「守る」必要があるの？

可能ではあるけど、これらのツールが取るアプローチは通常、冗長で奇妙だよね。LLMsがやることを他の何かと同じように考えてみて。たとえ絵が正しくて、両手に5桁の数字しかないとしても、テクスチャやライティング、ポーズが全然おかしい。コードに関しても、コードは必要以上に大きくて、奇妙な余韻を残して変に締められていることが多い。文章でも、変なイディオムや言葉、構造を使って、3文を8段落にするようなことがある。人々は通常、数学や科学で答えを見つけるためにこれらのツールを使うけど、その後、もっと理にかなった人間的な方法で戻ってくることが多い。だから、共有可能で美しいものになるんだ。答えを知ることには価値があるけど、数学では、最も重要なのは誰がどうやってそこにたどり着いたかなんだよね。

そうだね、彼らはそうするだろう。でも、ここで起こっているのは、数学（と数学者）を育てるシステムが、歴史上最大のショックを受けている可能性があるってこと。人々が生成される証明の数を吸収できない、ましてや理解できないとき、どうやって功績を評価し、才能を見つけるの？ペレルマンのポアンカレ予想の証明は、数学コミュニティが消化するのに数年かかったけど、ナビエ-ストークスの証明も同じくらい時間がかかるだろう。その間に、すべての未解決問題が解決されるか（解決できないことが証明されるか）するみたいだ。これは地平線が広がっているわけじゃなくて、むしろ森が伐採されているような感じだね。

いや、既存の新しい洞察を結びつけることで成り立ってるからね。

純粋な数学は、主に知的な刺激や少数の仲間の中での認知のために行われているんだ。これ以上のものはほとんどないよ。お金持ちになったり、有名になったりするわけじゃないし。学生を教えたり、論文を書いたり、同じ分野で働いている他の人たちをほとんど知っているって感じだね。タオはHNではちょっとしたセレブだけど、このフォーラムの外ではほとんど誰も彼のことを知らないと思うよ。それを取り去って、数学がLLMの出力を理解しようとするだけの満足感のない追求になったら、「アストラの定理 #18398」みたいになって、「ジョン・ドウの最後の定理」じゃなくなる。そうなったら、興味を持つ人はかなり減ると思う。ちなみに、これは数学に特有のことじゃないよ。AIは多くのクリエイティブな仕事を脅かしている。自動生成されたブログでHNのトップに行く確率が高いなら、ブログを書く意味はあるの？多くのノンフィクションカテゴリがAIに支配されている今、本を出す意味は？リストは続くよ。HNには、これが新しいことじゃないと思っている人がたくさんいるけど、スケールの大きな変化を無視しているんだ。そして、同じコンテンツをより早く、より安く得られるなら、人間のクリエイティビティには本質的な価値がないと思っている人もいる。私はそうは思わないけどね。

「エコシステム」はもう死んでるよ。タオは何がそれに代わるのか考えるべきだと思う。なんでこんなアプローチを取ってるのか、全然理解できない。

ここには、シニアのエンジニアやデザイナー、PMがAIを使ってすごく生産的になってる一方で、ジュニアの人たちにその判断力を育てるのが難しいって現象のアナロジーがあるのかな？