数学の暗黒の夜：AIが数学者の魂を奪うとき
The Dark Night of Mathematics
数学者のキルウィン・ハンプシャーは、LLMが長年の予想に対する反例を次々と生み出す中で、深い精神的危機を告白する。数学的発見が人間にとって「不可解なものとの出会い」であり、神聖で神秘的な体験であると主張し、AIによる自動証明が数学者の役割を奪うだけでなく、数学の本質的な価値を破壊すると警告する。彼は数学界の対応を「自己慰撫」と批判し、数学の未来に対する絶望と怒りを率直に綴る。
数学的発見（進歩、前進、創造）には、数学を行うことの精神的、経験的な質にとって不可欠な何かがある。新しい数学の創造（あるいはその追求）は、人間が歴史的に不可解なものにアクセスし、神聖で神秘的なものに出会う方法の一つである。