Ю Дэн: Математики в эпоху ИИ

Доказательства, созданные с помощью ИИ, начинают расширять существующие исследования и бросать вызов интуиции математиков. Как математическое сообщество может извлечь из этого выгоду, сохраняя при этом прозрачность, справедливое признание и доверие? Выступая на саммите Science x AI 2026 фонда SAIR в Калифорнийском университете в Лос-Анджелесе 16 октября, Ю Дэн обсудил недавние результаты, полученные с помощью ИИ, включая расширение его работы над уравнением Больцмана и заявленное доказательство, которое опровергает одну из его гипотез. Он приветствует их математический потенциал, но ставит под сомнение практику их публикации. Дэн утверждает, что исследования в области ИИ должны соответствовать стандартам, ожидаемым от исследователей-людей: объяснение идей, лежащих в основе доказательств, признание вклада и тщательная проверка результатов перед публикацией. Он также призывает к значимому контролю пользователей над обучающими данными и исследует, как открытые модели могли бы лучше служить математическому сообществу. Хотя эти модели в настоящее время отстают от ведущих закрытых моделей, он считает, что математики могут помочь укрепить их за счет обмена опытом и целенаправленного обучения. Его видение заключается в том, что люди и ИИ учатся друг у друга, при этом ИИ обеспечивает более быстрое исследование, а человеческое любопытство направляет поиск новых математических идей. Суть этого видео: 00:00 Приветствуем ИИ как инструмент для математики 03:30 Перспективы недавних доказательств, созданных с помощью ИИ 05:56 Объяснение идей, лежащих в основе открытий ИИ 08:04 Признание заслуг и проверка математических результатов 10:47 Коммерческий ИИ и интересы математиков 13:33 Принципы ответственного использования ИИ в исследованиях 17:05 Аргументы в пользу открытых моделей в математике 20:54 Люди и ИИ вместе исследуют математику