Аннотация:
11 октября в Университете Цинхуа был создан Альянс лабораторий математики и искусственного интеллекта Яу. Он планирует объединить около 1000 математиков и исследователей для содействия интеграции искусственного интеллекта, математики и междисциплинарных исследований. Обладатель медали Филдса и профессор кафедры Университета Цинхуа Цю Чэнтун является лидером альянса. Он сказал, что Китай по-прежнему отстает от США в использовании искусственного интеллекта для продвижения передовой науки, а его внутренние возможности научных исследований в области крупных моделей еще не находятся на ведущем мировом уровне. Альянс надеется объединить таланты и ресурсы для независимой разработки специальных моделей для математических наук.
Альянс создан совместно восемью учреждениями, в том числе Академией Цючжэнь Университета Цинхуа, Центром математических наук Яу Шиндуна Университета Цинхуа, Пекинским институтом прикладной математики озера Яньци, Математическим центром Морнингсайд Китайской академии наук, Шанхайским институтом математики и междисциплинарных исследований, Центром Яу Шиндуна Юго-Восточного университета, Институтом математики Хэтао и Междисциплинарные науки (Шэньчжэнь) и Институт междисциплинарной математики Чжижен Китайского университета Гонконга. Первая лаборатория математики и искусственного интеллекта расположена в Академии Цинхуа Цючжэнь и создана совместно с Центром математических наук Яу; Альянс также планирует построить лаборатории в Пекине, Шанхае, Нанкине, Шэньчжэне и Гонконге для сотрудничества путем обмена ресурсами для обучения моделям, формальными математическими библиотеками и платформами вычислительной мощности.
В настоящее время в фокусе альянса находятся разработка крупных математических моделей, использование искусственного интеллекта для открытия и формального доказательства гипотез, развитие объяснимого искусственного интеллекта, а также продвижение пересечения математики и квантовых вычислений, наук о жизни, финансов и других областей. Альянс также планирует осуществлять обучение талантов и международное сотрудничество, а также создать «Журнал математики с использованием искусственного интеллекта». На мероприятии, посвященном учреждению, было объявлено о более чем десяти результатах и направлениях исследований, включая геометрию, квантовые вычисления, науки о жизни, а также математические проблемы, такие как вырожденная гипотеза Арнольда и гипотеза Сильвестра. Зрелость этих проектов неодинакова. Некоторые из них являются направлениями исследований и не могут считаться завершенными и рецензируемыми результатами.
Одним из случаев, привлекших внимание, является сотрудничество между Центром математических наук Цинхуа Яу и Шанхайским институтом математики и междисциплинарных исследований по изучению семимерных гомотопических сфер. В исследовательской статье, доступной в настоящее время в виде препринта, сообщается, что гладкие семимерные гомотопические сферы для всех 28 классов ориентированных диффеоморфизмов создают римановы метрики со строго положительной кривизной поперечного сечения. По мнению альянса, ИИ помогает команде исследовать стратегии доказательства и упрощать расчеты; система вычислительной алгебры используется для проверки тождеств и границ интервалов, а также для создания воспроизводимых сертификатов вычислений. Концепция исследования, доказательство и окончательная демонстрация по-прежнему выполняются математиками, поэтому этот результат не может быть независимо доказан ИИ.
Способность искусственного интеллекта генерировать математические результаты в пакетном режиме также вызвала дискуссии об академических стандартах. Си Наньхуа, академик Китайской академии наук и председатель Китайского математического общества, отметил, что скорость компаний, публикующих результаты, полученные с помощью ИИ, противоречит традиции строгой проверки и экспертной оценки в математическом сообществе, и ошибочный контент, который не был полностью протестирован, может просочиться; он считает, что математическому сообществу и индустрии искусственного интеллекта необходимо совместно установить правила, признаваемые всеми сторонами. Недавно OpenAI опубликовала серию математических рукописей и доказательств, созданных с помощью внутренних моделей. На его официальном складе в настоящее время зарегистрировано 719 рукописей, разделенных на 372 группы, и поясняется, что результаты находятся на разных стадиях проверки. Около 42% основных результатов были формализованы Lean, и еще могут быть проблемы с результатами, которые еще не формализованы. Это также подчеркивает, что помимо повышения эффективности геологоразведочных работ математические исследования с помощью ИИ должны также решать проблемы проверки, воспроизводства и распределения ответственности.
Цю Чэнтун считает, что ИИ может генерировать большое количество доказательств и результатов вычислений, но постановка новых глубоких вопросов и формирование математической интуиции и творческого суждения по-прежнему остаются важной ролью исследователей-людей. После создания альянса ключом к его последующей работе станет то, как превратить возможности больших моделей в проверяемые математические открытия и установить соответствующие академические стандарты.
Комментарии