Когда ИИ потрясает математический олимп: новый кризис и вызовы для исследователей
Мировое математическое сообщество охвачено волнением после тогоди, как передовой ИИ смог решать сложные задачи и помогать в доказательстве теорем на уровне серебряной медали олимпиады.
В подкасте Decoder от The Verge затронули горячую тему «кризиса ИИ в математике» через интервью с журналистом The Verge Робертом Хартом (Robert Hart), которое стало продолжением подробной статьи о роли искусственного интеллекта в математической сфере.
Этот прогресс перекликается с отчетами журнала Nature и блога Google DeepMind, в которых отмечается, что такие модели, как AlphaProof и AlphaGeometry 2, смогли решить задачи Международной математической олимпиады (IMO) на уровне серебряной медали. Это стало возможным благодаря интеграции с системами проверки логической корректности (такими как язык Lean), что помогло решить проблему галлюцинаций ИИ и ошибок в рассуждениях.
Журнал Quanta Magazine сообщил, что лауреат Филдсовской премии, математик Теренс Тао, считает, что ИИ начинает выполнять роль «Copilot» — помощника в анализе и проверке пробелов в доказательствах. Тем не менее, этот прогресс вызывает у ведущих математиков структурные опасения относительно изменения роли человека, оценки академических работ и определения подлинного математического понимания.
Это отражает переход ИИ от выполнения рутинных задач к решению сложных логических проблем, что повлияет на образование, исследования и навыки, необходимые специалистам в будущем.