Известный математик Теренс Тао опубликовал сессию взаимодействия с ChatGPT, в ходе которой он исследовал сложную математическую проблему — гипотезу Якобиана. Тао использовал модель для генерации идей, проверки логических шагов и поиска контрпримеров, демонстрируя потенциал больших языковых моделей как инструмента для математических исследований и формализации доказательств в академической среде.
В ходе эксперимента Тао проверял способность нейросети рассуждать в рамках алгебраической геометрии. Несмотря на то что модель допускала ошибки в сложных вычислениях, она успешно справлялась с поиском литературы, структурированием аргументов и формулировкой гипотез. Этот кейс подчеркивает переход от использования ИИ как простого справочника к его применению в качестве «интеллектуального партнера» для проверки математических концепций.
Для математического сообщества подобные эксперименты важны в контексте автоматизации доказательств (automated theorem proving). Хотя текущие модели еще не способны самостоятельно доказывать нерешенные теоремы, их способность к итеративному уточнению условий задачи и анализу связей между математическими объектами становится значимым подспорьем для исследователей, работающих над фундаментальными проблемами.
Ключевые факты
- Теренс Тао — лауреат Филдсовской премии, один из самых цитируемых математиков современности.
- Гипотеза Якобиана является одной из открытых проблем в алгебраической геометрии, касающейся полиномиальных отображений.
- В процессе диалога модель использовалась для проверки корректности утверждений и поиска потенциальных путей упрощения задачи.
- Эксперимент показал, что ИИ эффективен в качестве инструмента для «мозгового штурма», но требует строгой верификации результатов человеком из-за склонности к галлюцинациям в узкоспециализированных вычислениях.