Пара статьей про ИИ в математике:

1) Terence Tao "Mathematics in the age of AI"

https://arxiv.org/abs/2608.16753

Главная идея как я её понял: "Вероятно, ИИ во многом возьмёт на себя поиск и формальную проверку доказательств, а человек будет пытаться осмысливать их, переваривать, ясно записывать, объяснять другим людям, а в итоге, по возможности, встраивать в математическую культуру.".

2) Max Weinreich "The crisis of AI-generated mathematics"

https://arxiv.org/abs/2608.02859

Главная идея как я её понял: "В итоге математическое сообщество должно будет коллективно отказаться от использования ИИ, иначе математика как форма исследовательской деятельности исчезнет."