Искусственный интеллект ускоряет математические исследования и открытие доказательств.

Растущая роль ИИ в математических исследованиях

Математики всё чаще используют модели ИИ для ускорения исследований и открытия новых математических результатов. Переломный момент наступил в июле 2025 года, когда несколько моделей искусственного интеллекта решили пять из шести задач на Международной математической олимпиаде — ежегодном соревновании для лучших старшеклассников.

Практическое применение в исследовательской математике

Первые пользователи обнаружили, что модели ИИ могут помочь проложить подлинно новые пути, а не просто решать известные головоломки. Сейчас математики используют ИИ для:

• Открытия и доказательства новых результатов за день, что раньше занимало недели или месяцы
• Формулирования гипотез, их доказательства и проверки доказательств с минимальным вмешательством человека
• Разработки новых стратегий доказательств через обширные беседы с большими языковыми моделями, такими как ChatGPT, Claude или Gemini
• Одновременного решения тысяч задач и проведения статистических исследований

Ключевые достижения и проблемы

Теренс Тао из Калифорнийского университета в Лос-Анджелесе отмечает, что 2025 год стал годом, когда ИИ «действительно начал быть полезным для многих различных задач» в математике. Некоторые результаты, сгенерированные ИИ, соответствуют открытиям, опубликованным в профессиональных математических журналах.

В феврале 2026 года конкурс «Первое доказательство» дал участникам одну неделю, чтобы их модели ИИ решили 10 исследовательских вопросов в различных областях математики. Математики специально выбирали вопросы, которые вряд ли могли появиться в обучающих данных алгоритмов.

Однако существуют опасения, что математики теряют непосредственный опыт математического понимания по мере интеграции ИИ. Акшай Венкатеш из Института перспективных исследований предупреждает, что «в нашей культуре есть ценные вещи, которые мы должны стараться сохранить».

Влияние на отрасль

Математики покидают академические круги, чтобы работать в крупных технологических компаниях, таких как OpenAI и Google, или присоединяются к стартапам, ориентированным на математику и ИИ, включая Harmonic, Logical Intelligence, Axiom Math и Math Inc. Джереми Авигад из Университета Карнеги-Меллона объясняет, что «ключ к общему интеллекту — это объединение инсайтов, полученных от машинного обучения, и точности, полученной от математики».