[論文レビュー] Shaping the Future of Mathematics in the Age of AI

Johan Commelin, Mateja Jamnik+3 more|arXiv (Cornell University)|Mar 26, 2026

Mathematics Education and Programs被引用数 0

ひとこと要約

AIが数学実践を変革する方法を論じ、5つの主要テーマ（価値、実践、教育、技術、倫理）とガバナンス、教育、コミュニティ主導のツール作成に関する推奨を概説する。

ABSTRACT

Artificial intelligence is transforming mathematics at a speed and scale that demand active engagement from the mathematical community. We examine five areas where this transformation is particularly pressing: values, practice, teaching, technology, and ethics. We offer recommendations on safeguarding our intellectual autonomy, rethinking our practice, broadening curricula, building academically oriented infrastructure, and developing shared ethical principles - with the aim of ensuring that the future of mathematics is shaped by the community itself.

研究の動機と目的

• AI技術が数学の認識論的基盤と実践をどのように変えるかを検討する。
• AI支援作業に関する数学コミュニティ内のコアな価値と緊張を特定する。
• AI対応数学の教授法、ガバナンス、ツール開発に向けた実行可能な方向性を提案する。
• 知的自律性を保つためのオープンでコミュニティ主導のインフラと倫理指針を提唱する。

提案手法

• 2025年ローレンツセンターの「機械化と数学的研究」ワークショップの議論と洞察を要約する。
• 形式証明、ニューシンボリック法、巨大言語モデルを相補的なアプローチとして対比する。
• 発見、人間の直観、AI時代における数学の役割の変化に関する中心的な問いを整理する。
• AIの統合を導くガバナンス構造、ライセンス規範、ベンチマーク、倫理規定を提案する。

実験結果

リサーチクエスチョン

• RQ1 AIが日常的なタスクを多くこなせるようになったとき、数学的発見として何が適格になるのか。
• RQ2 AI支援数学における人間の直観の進化する役割は何か。
• RQ3 AIがルーチンな証明と計算を処理するようになったとき、教授法と評価はどのように適応すべきか。
• RQ4 コミュニティは価値観と自律性に沿うようにAIツールとライブラリをどのように統治・形成できるか。
• RQ5 数学におけるAIに対して必要な倫理原則、帰属規範、ガバナンス機構は何か。

主な発見

• AI技術は、重要な数学的仕事と出版水準の標準を再定義しつつある。
• コミュニティ内には広範な価値観のスペクトラムが存在し、形式化と伝統的実践の間に緊張がある。
• オープンでコミュニティ所有のベンチマークとオープンソースライブラリが、AIツールを学術的価値に整合させるために提案されている。
• アクセスと責任を管理するためのガバナンス、ライセンス、帰属規範が必要である。
• 帰属、訓練データの使用、リソース開示、環境影響に対処する生きた倫理的枠組みが推奨される。