Математик Теренс Тао проанализировал влияние больших языковых моделей на научные исследования. Он отмечает, что ИИ уже стал эффективным инструментом для автоматизации рутинных задач, таких как проверка доказательств и поиск литературы. При этом ученый подчеркивает необходимость изменения подходов к обучению математиков, смещая фокус с механических вычислений на развитие навыков критического мышления и верификации результатов.
Тао выделяет текущие ограничения моделей, включая склонность к «галлюцинациям» и трудности с решением задач, требующих глубокого логического вывода в новых, не представленных в обучающей выборке областях. По его мнению, ИИ не заменит математиков, но трансформирует их роль в сторону «кураторов» и «архитекторов» доказательств, где машина берет на себя черновую работу, а человек задает стратегическое направление и контролирует корректность логических цепочек.
В долгосрочной перспективе интеграция ИИ в математическую практику может ускорить темпы открытий, позволяя исследователям быстрее проверять гипотезы. Однако это требует создания новых стандартов взаимодействия между человеком и алгоритмом, где формализация знаний становится приоритетной задачей для обеспечения воспроизводимости и надежности научных данных.
Ключевые факты
- Теренс Тао — лауреат Филдсовской премии и один из ведущих математиков современности.
- ИИ рассматривается как инструмент для автоматизации проверки доказательств и поиска научной литературы.
- Основным барьером для использования LLM в математике остаются ошибки в логических выводах и генерация ложных утверждений.
- Будущее математических исследований заключается в симбиозе человеческой интуиции и вычислительных мощностей ИИ.
- Акцент в образовании смещается от вычислительных навыков к навыкам верификации и управления ИИ-агентами.