数学の分野は現在、一部の観察者が「証明の希少」の時代から「証明の豊富」の時代への移行と表現する変化を経験しています。何世紀にもわたり、数学的証明の作成には多大な個人的専門知識、手作業、そして深い文献調査が必要であり、それは黒板の前で孤独に研究する研究者の「英雄的時代」と結び付けられるプロセスでした。しかし、大規模に複雑な証明を生成できる機械の出現は、これらの伝統的な規範に挑戦しています。Terence Taoのような数学者は、これが他の分野における歴史的な産業革命を反映している一方で、独自の伝統を長く維持してきた学問分野にとって、感情的および構造的な独自の課題を突きつけていると指摘しています。

この技術的飛躍は、学術界において実用的な不安と哲学的な懸念の両方を引き起こしています。一部の研究者は、人間が自動化システムに対して明確な「付加価値」を実証できなくなった場合、博士課程の学生の将来や資金提供の喪失に対するパニックに近い感情を報告しています。また、この議論には精神的な側面もあります。批判的な人々は、発見の体験、つまり新しい真理を見出す際の「魔法と神秘」が、デリバリーサービスを注文するような機械的な出力に置き換わっていると主張しています。懸念されているのは、短期的には科学的成果が劇的に増加する可能性がある一方で、独立した人間の活動が弱まり、新しい知識がそれらを生み出した内容を完全に理解できない者の手に集中する「暗黒時代」を招く可能性があるということです。

これらの緊張に対する対応として、責任と適応の枠組みを提案する人々もいます。これには、電卓を使う前に手計算を教えるのと同様に、自動化ツールを導入する前に伝統的な手法を優先する教育システムを維持することが含まれます。他の人々は、物理科学と同様の、大規模なチーム構造への不可避な移行を見通しています。孤独な探求者の時代の終焉に対する純粋な悲しみは存在しますが、推進派は、この分野がすべての技術的進歩のための基礎的なインフラへと卒業していると示唆しています。目標は、この変化を慎重に進め、AIの統合が新しい世代の科学者を強化すると同時に、知的独立性を保つ企業としての側面を維持することです。