AIが数学を征服する？Wolframが語る純粋数学の未来
What's the Future for Pure Math Research in the Age of AI?
Stephen Wolframが、AI時代における純粋数学研究の未来を論じる。AIは数学知識の探索や接続に有用だが、純粋数学の核心は人間の想像力が問いを導くことにある。計算は既存知識の活用とは異なり、計算的還元不可能性により本質的に新しい結果を生み出す。数学は人間の有限な心に収まる物語を見つける営みであり、AIが数学を取って代わることはないと主張する。
偉大な数学は——何よりもまず——それが問う問いによって定義される。
HNでの議論
44- alok-g
核心的な議論には2つの前提があるように思うが、どちらも異議を唱えられる。
1. AIは証明を行えるが、どの問題を解くか、どの数学が有用かを決めるのは人間である。
2. 選ばれた数学は人間が理解できる必要がある。
#1については、AIはどの数学が有用かを見極めることさえ、乗っ取りとまではいかないまでも、重要な役割を果たせるかもしれない。
#2については、人間による理解可能性は今のところは良いかもしれないが、重大な制約となる可能性もある。正しさは目標であり、信頼は重要な要件であり、人間の理解可能性はそのための仲介役かもしれないが、必ずしも最終目標ではない。
言い換えれば、この記事は現在の最先端技術については成り立つかもしれないが、ほんの数年後には成り立たなくなるかもしれない。
- veexx103
いくつかの議論は「過去の経験…」に基づいている。
しかし、そのような経験は絶対的な真理ではなく、現状と同一視することはできない。
- suopspaces
著者による読み上げ https://www.youtube.com/live/gPrWX8i1htM （Wolfram言語などについて何度も言及されている）
- jaykru
Wolframは純粋数学の現状と未来について、非常に重要で冷静な見解を示している。私が得た主な要点は以下の通りだ：
1. 数学の本質的な目標は人間の理解である。証明項の計算は必ずしも人間の理解を豊かにするわけではない。四色定理の結果の証明は良い例であり、形式検証/SATソルバーはさらに多くの例を提供する。これらは、生成に使用されたシステムへの信頼の範囲内で信頼でき、実際に使用できる結果だが、必ずしも我々の理解を豊かにするわけではない。現在の人間の定義、定理、数学の理解を持った、ほぼ無限の証明探索能力を持つコンピュータが解き放たれたと想像してほしい。それが我々の数学の最前線で新しい定理の証明を構築したとしよう。現在理解されている定義と概念に基づく最短のそのような証明は、あまりに長く機械的で、宇宙の終わりまでの人類の全系統が読み終えることができないかもしれない。したがって、数学者の活動と重なる部分はあるものの、この種の計算的証明探索は数学そのものではない。これは多くの人が把握していないようであり、一部の人が「現実逃避」として片付ける重要な区別である。
2. 理論構築という人間の活動、つまり私が上で論じたような怪物のような証明を、人が理解できる軽やかな概念的議論に変えることは、現時点ではモデルの手の届かないところにあるように思われる。未来にはできるようになるかもしれないが、まだそうではない […]
- amelius
良い出口戦略とは何か？
要件：