出来事の日付：2026年10月4日

スティーブン・ウルフラムが、人工知能と数学研究をめぐる議論に、自動化は純粋数学を時代遅れにするのではなく、数学者が仕事をする水準を変えるという主張を提示した。新たに公表した論考で、人間が蓄積してきた知識をたどるAIの能力と、どの数学的な問いが重要なのかを決める創造的な作業とを区別している。

ウルフラムは現在の議論を、1988年に導入された数式処理システムMathematicaをめぐってかつて広がった懸念と対比している。ソフトウェアは記号積分などの操作を自動化できたが、それによって数学の探究がなくなったわけではないと記す。彼の説明では、より高性能な道具で取り組める問題へと労力の向き先が移ったという。現在のAIシステムも、より幅広い作業を対象に、同様の転換をもたらす可能性があると見ている。

ウルフラムによると、すぐに役立つ用途の一つは、数学文献をテーマに沿って横断的に検索することだ。大規模言語モデルは、異なる用語で表現された考えを研究者が見つけるのを助け、書籍や論文に散在する成果のつながりを示唆できる。この能力は従来のキーワード検索を超えるものだが、論考では、既存の数学の記録を活用する方法として位置付けられており、システムが価値ある研究課題を独力で決められる証拠とはされていない。

この区別が彼の主張の中心にある。形式的な計算は規則や公理から帰結を生み出すことができ、新たな定理を際限なく導き出せる可能性がある。AIはまた、従来は人間の労力を要した手順を自動化できる。しかし、新しさだけで、その結果が意味のある数学になるかどうかが決まるわけではない。ウルフラムは、純粋数学を形作るのは定義、抽象化、問いの選択であり、そのいずれも人間の関心や、何を理解する価値があるかという判断と結び付いていると論じる。

彼の立場は一つの主張であって、数学者の間で合意が成立しているとの報告ではない。また、この論考はAIシステムのベンチマークや特定のモデルに結び付いた予測を示していない。代わりに、数学研究を証明の作成と狭く同一視する見方に異議を唱えている。妥当な導出を作ることが活動のすべてであるなら、能力を高め続ける自動システムが研究者に取って代わるように見えるかもしれない。しかし、有用な概念構造を築き、重要な問いを見いだすことも活動に含まれるなら、自動化は研究の実践を変えても、その方向を決めることにはならない。

ウルフラムはまた、現代のAIと、彼が終わりの定まらない計算と呼ぶものを区別している。彼の説明では、言語モデルは人間が生み出した資料のパターンに大きく依拠する一方、計算規則を実行することで、検索では得られなかった結果が現れることがある。どちらも研究の助けにはなり得るが、ある方向を重要とし、別の方向を単に可能なものとする人間の判断基準を、いずれかが自動的に与えるわけではない。

したがって、この論考はAIを、ますます強力になる数学の道具であり、知識を結び付ける仕組みとして描いている。より広い主張は、純粋数学の未来を左右するのは、機械が成果を証明できるかどうかよりも、その能力を人々がどう使い、数学が何を追究すべきかを決めるかだというものである。