свою роль как роль дирижера, а не всего оркестра. Некоторые, как Трефор Базетт, видят потенциал для нового золотого века, ссылаясь на работу Carnegie Mellon, в которой была решена проблема теории Рамсея с использованием SAT-решателей, кода, сгенерированного большими языковыми моделями, и формальной проверки доказательств. Тимоти Гауэрс, предсказавший эту эпоху в 2000 году, испытывает смешанные чувства, столкнувшись с тем, что ИИ решил его собственные исследовательские проблемы. Он опасается разрушения математической культуры, если люди перестанут наращивать экспертизу. Лейденская декларация по ИИ и математике, подписанная более чем 3000 математиков, направлена на установление руководящих принципов. Epoch AI сообщила о прогрессе, но отметила, что самые сложные категории бенчмарков остаются нерешенными. Теренс Тао сравнивает ситуацию с кризисом оснований начала XX века, видя в ней возможность укрепить математику, в то время как эссе Кирвина Хэмпшира «Темная ночь математики» предлагает более пессимистичный взгляд, предполагая, что утешения — это самообман.