Яу Шинтун собрал альянс математиков Китая для работы с ИИ

Подробно

Что такое альянс Яу Шинтуна и кто в него вошёл?

Официальное китайское название - 丘成桐数学与人工智能实验室联盟, то есть «Альянс лабораторий Яу Шинтуна по математике и искусственному интеллекту». Единого английского названия пока нет. В зарубежных СМИ встречаются варианты Yau Laboratory Alliance for Mathematics and Artificial Intelligence и Shing-Tung Yau Mathematics and AI Laboratory Alliance.

Церемония учреждения прошла утром 11 октября в лекционном зале Qiuzhen Lecture Hall Колледжа Цюжэнь Университета Цинхуа. На ней было более 400 человек: представители исследовательских организаций, компаний и вузов, преподаватели и студенты. Альянс открыли Чэнь Юань, Ван Гуанцянь, Ли Чжихуа, Яу Шинтун, Си Наньхуа и Хэ Сюйхуа.

Инициатор объединения Яу Шинтун - профессор Университета Цинхуа, декан Колледжа Цюжэнь и директор Центра математических наук Яу. Филдсовскую медаль он получил в 1982 году. Награду присудили за вклад в теорию дифференциальных уравнений, в гипотезу Калаби, гипотезу положительной массы в общей теории относительности и уравнения Монжа - Ампера.

В альянс вошли восемь организаций:

• Колледж Цюжэнь Университета Цинхуа;
• Центр математических наук Яу Университета Цинхуа;
• Пекинский институт математических наук и приложений (BIMSA);
• Центр математики Морнингсайд Китайской академии наук;
• Шанхайский институт математики и междисциплинарных наук;
• Центр Яу Шинтуна Юго-Восточного университета;
• Институт математики и междисциплинарных наук Хэтао в Шэньчжэне;
• Школа междисциплинарных математических наук Чжичжэнь Китайского университета Гонконга.

В разных источниках численность участников указана по-разному. Университет Цинхуа пишет о «тысяче исследователей», China Science Daily - о «почти 1000», Beijing Daily - о «более 1000». South China Morning Post называет сеть из более чем 1000 учёных целью альянса. Единого реестра участников не опубликовано.

Чем займётся альянс по математике и ИИ?

Организаторы назвали шесть направлений работы:

• создание собственной специализированной ИИ-модели для математических наук на основе передовых универсальных моделей;
• инфраструктура для ИИ-поддержки математических исследований: помощь в решении передовых задач и защита приоритета оригинальных идей математиков;
• применение фундаментальной математики для повышения интерпретируемости и безопасности ИИ;
• перенос подходов альянса в квантовые вычисления, науки о жизни, финансы и экономику - от фундаментальной математики через разработку ИИ к прикладным внедрениям;
• международное сотрудничество и подготовка кадров, включая ИИ-школы для ведущих зарубежных университетов и совместные образовательные программы;
• развитие журнала Journal of AI-Assisted Mathematics как международной площадки на стыке ИИ и математики.

South China Morning Post выделяет ещё три задачи: генерацию математических гипотез с помощью ИИ, формализацию доказательств и создание систем с более понятным ходом рассуждений.

Крупные направления работы и академическую оценку будет определять научный комитет. Его председатель - Яу, а организации-участники назначают в комитет своих научных руководителей. Кроме того, объявлен механизм совместного использования ресурсов. Ресурсы для обучения крупных моделей, библиотеки формализованной математики и вычислительные платформы планируют открыть организациям - участникам альянса.

Первая лаборатория работает в Колледже Цюжэнь, её соорганизатор - Центр математических наук Яу. Остальные участники должны постепенно открыть свои лаборатории в Пекине, Шанхае, Нанкине, Шэньчжэне и Гонконге. Сроки запуска этих площадок не названы.

Будет ли у альянса своя ИИ-модель и когда она выйдет?

Модель только заявлена как первое направление работы. На момент публикации не объявлены ни дата выпуска, ни архитектура, ни число параметров. Неизвестны также обучающие данные, базовые модели, результаты бенчмарков, лицензия, способ доступа и цена. Общие ресурсы альянса описаны как доступные только его участникам, о публичном доступе речи не идёт.

Также не раскрыты бюджет, источники финансирования, объём вычислительных мощностей и обязательства каждой из восьми организаций.

Почему Яу говорит об отставании Китая от США?

Как передаёт Seoul Economic Daily, Яу считает, что отставание Китая от США особенно заметно в ИИ-системах для передовых исследований по математике и физике. По его словам, американские и западные организации собирают ведущих математиков для работы с ИИ, а китайские усилия разрознены. Это личная оценка руководителя альянса, а не результат опубликованного сравнительного тестирования. В официальном перечне задач «сокращение отставания» не сформулировано как измеримая цель.

На церемонии Яу описал перемены так:

«Последние полгода принесли беспрецедентный удар: искусственный интеллект за короткое время выполнил много важных, даже великих научных работ, причём многие подходы превзошли наше воображение».

«Изменения, принесённые ИИ, заставляют заново задуматься о сущностной ценности математики. Мы должны оседлать волну ИИ, а не прятаться от неё».

Он также предупредил о рисках:

«При правильном использовании искусственного интеллекта полученные знания, достижения и влияние будут эпохальными; при неправильном обращении последствия могут стать катастрофическими, особенно для развития науки и технологий Китая».

Что говорят другие участники альянса?

Председатель Китайского математического общества, академик Китайской академии наук Си Наньхуа считает, что нынешний ИИ способен выращивать лишь отдельные «цветы в математическом саду». До системного построения «здания математики» ему, по оценке учёного, ещё далеко. Си Наньхуа указал и на разницу в правилах:

«Компании не связаны академическими правилами: им не требуется строгая коллегиальная проверка перед публикацией результатов, допускается даже выход ошибочных материалов. Но математическое и ИИ-сообщества могут совместно выработать приемлемые правила».

Академик и заместитель директора Центра математики Морнингсайд Тянь Е отметил:

«Математики и искусственный интеллект могут дополнять друг друга и вместе браться за трудные задачи».

Вице-президент Международного математического союза Хэ Сюйхуа положительно оценил новую исследовательскую парадигму. По его мнению, рост возможностей позволит математикам шире использовать воображение и ставить более трудные вопросы.

Доцент Центра математических наук Яу Сюй Вэньцян призвал не полагаться на ИИ целиком. По его словам, результаты инструмента нужно самостоятельно осмыслить и превратить в собственное понимание.

Все эти оценки принадлежат участникам запуска. Независимых экспертных комментариев о структуре, финансировании или реализуемости именно этого альянса пока нет.

Какие результаты уже представили участники?

После открытия участники рассказали о своих направлениях и ранее начатых работах. Среди тем - вырожденная гипотеза Арнольда, энтропия трёхмерных чёрных дыр, положительная секционная кривизна гомотопических 7-сфер, задача Бена Грина №90, гипотеза Сильвестра, квантовые алгоритмы и формальная верификация. Это работы участников, а не результаты нового альянса. Полных статей, данных и независимых проверок в новостных материалах нет.

Заместитель директора BIMSA и профессор Цинхуа Лю Чжэнвэй заявил:

«У нас уже есть студент, который при помощи ИИ всего за месяц повысил эффективность исходного алгоритма более чем в тысячу раз».

Методика проверки этого результата не опубликована.

Соединять математику и ИИ в Цинхуа начали и до появления альянса. В осеннем семестре 2024 года Колледж Цюжэнь и факультет автоматизации университета открыли экспериментальную бакалаврскую программу «Математика и искусственный интеллект».

Как мировое математическое сообщество спорит об ИИ?

Альянс появился на фоне острой дискуссии. 11 сентября 2026 года 25 лауреатов Филдсовской медали опубликовали декларацию A Severe Misalignment of AI in Mathematics. Среди подписавших - Теренс Тао, Хьюго Дюминиль-Копен, Питер Шольце, Джун Хо и Марина Вязовская. Авторы предупредили: если решение открытых задач превратится в корпоративный бенчмарк, концептуальное понимание может уступить место массовому производству ответов. Это, по их мнению, создаст проблемы с проверкой результатов, авторством и передачей знаний. При этом ИИ как инструмент подписавшие не отвергают. Китайский альянс они напрямую не комментировали.

18 сентября фонд Science and AI Research, одним из основателей которого является Тао, объявил Open Math Model Initiative. Фонд планирует создавать открытые модели для науки с открытыми весами, кодом, методами обучения, документированными данными и воспроизводимыми оценками. Эта инициатива тоже пока на стадии набора партнёров и планирования.

6 октября OpenAI опубликовала на GitHub большой набор математических результатов неназванной внутренней модели. В него вошли формализации части доказательств в Lean, сведения о попытках и десять разборов рассуждений. Компания назвала это публикацией результатов, а не рецензированным корпусом статей. Le Monde сообщил, что три рукописи были отозваны из-за найденных ошибок, а формализация охватила меньше половины результатов. Лауреат Филдсовской медали 2022 года Хьюго Дюминиль-Копен заявил, что OpenAI «уничтожила» его область исследований. При этом он признал ценность части результатов. Задачей математиков он назвал их понимание, переработку и передачу.