近年の長文推論型LLMや形式証明自動化システムの進化により、長年未解決だった高度な数学的難問がAIによって次々と解決・形式検証される中、国際的な数学者コミュニティにおいて「人間数学者の存在意義」を巡る議論が激化しています。
AIが導き出した何百万ステップにも及ぶ証明手順は、形式検証ツール（Lean等）で論理的無矛盾性が完全に保証される一方、人間の認知限界を超えており、なぜその定理が成り立つのかという「数学的直観や美しさ」を人間が把握できない事例が増加。
機械が自律的に新しい定理を発見・証明する時代において、数学者の役割は「証明作業」から「どの問いを探求すべきかという審美眼の設定」へ移行すべきとの声が上がる一方、理解不能なAI証明への依存に懸念も広がっています（一次ソース：Taipei Times / 数学界学術レポート）。