数学の終わり：AI時代に数学的進歩が停滞する未来
The End of Mathematics
OpenAIのワークショップで数学の未来について講演したDaniel Litt氏は、AIが数学で超人的能力を持つようになっても、数学的進歩が停滞する可能性を探る。2026年には数学論文の爆発的増加が見られる一方、MathOverflowの利用は減少し、AIによる重複研究が増加。2027年には数学者のキャリア戦略が conjecture のスロットマシンと化し、2028年には自動形式化が進むが、数学者と数学の乖離が進む。最終的に、既存の制度が適応しなければ、数学の持続可能な実践は危ういと警告する。
数学者はもはや基礎となる数学とつながっていない。
HNでの議論
20- somesortofthing
少なくとも前提を受け入れるなら、この記事は「純粋数学」が人間や機械の活動分野として存続すべき理由を、結果的に示せていないと思う。堅牢な超知能数学者の能力を持つ実世界のシステムは、何か実用的な問題が発生したとき、問題文を定式化し、少し計算して、形式化された答えを吐き出し、人間が気づくことさえなく、それが実行していた外側のループのタスクを続けることができる。
オンデマンドで任意の数学的結果を与えてくれるシステムがあるなら、それ自体のために、人間の労働であれ計算資源であれ、何らかのリソースを捧げるのは、ただの無駄に思える。バベルの図書館をカタログ化して何になる？
- wseqyrku
> 数学の終わり
AIのおかげで、今やソフトウェア業界には開発者よりも数学者が多い。そして、そのうちの何人かは実際に元開発者だったり、元マネージャーだったりする。
- anArbitraryOne
クリックベイトっぽいのでクリックしない。