Jiuzhang Yunji вступает в математический челлендж Тао после письма 28 лауреатов Филдса

Двадцать восемь лауреатов Филдсовской премии 11 сентября 2026 года подписали одно заявление, «Серьёзная рассогласованность ИИ в математике». Ровно через месяц, 13 октября, китайская Jiuzhang Yunji (九章云极) объявила об участии в математическом челлендже Терренса Тао и сформулировала свою позицию: обучение с подкреплением должно стать новой базовой инфраструктурой для AI for Science. Совпадение по времени выглядит любопытно, но по доступному фрагменту материала нельзя судить ни о формате соревнования, ни о результатах компании.

Что написали математики

Текст письма необычно резкий для академической среды. Подписанты утверждают, что AI-компании используют решение математических задач как бенчмарк собственных возможностей, и считают такую практику «вредной для математической науки и математического сообщества». Их главный тезис, насколько он виден в начале материала: решение задачи есть лишь средство и прокси-показатель. Сама математика устроена иначе: это построение понимания, теорий и языка. Продолжение аргументации в доступном фрагменте обрывается, поэтому пересказывать его детали было бы домыслом.

Для индустрии сигнал неприятный. Именно задачи олимпиадного и исследовательского уровня последние пару лет служили витриной для лабораторий. Когда 28 человек с высшей наградой в профессии говорят, что витрина вводит в заблуждение, спорить цифрами становится труднее.

Ответ Jiuzhang Yunji

Компания выбрала не оборону, а вход в соревнование, которое ведёт один из самых авторитетных математиков современности. Лозунг в заголовке материала звучит так: сделать обучение с подкреплением новой инфраструктурой AI4S.

Логика читается без труда, хотя это наша интерпретация, а не цитата компании. У математики есть то, чего нет в большинстве научных областей: проверяемость. Если доказательство можно проверить автоматически, например в формальной системе вроде Lean, получается чёткий сигнал награды для RL. Дальше упирается всё в инженерию: оркестрация тысяч параллельных прогонов, планирование GPU, хранение траекторий, построение сред с верификаторами. Jiuzhang Yunji, судя по позиционированию, продаёт именно такой слой: не отдельную модель, а платформу, на которой подобные эксперименты можно запускать.

Что известно на данный момент:

• Дата письма: 11 сентября 2026 года, 28 подписантов-лауреатов Филдса.
• Название заявления: «Искусственный интеллект в математике: серьёзная рассогласованность».
• Ключевая претензия: задачи как бенчмарк вредят математике и сообществу.
• Участник челленджа Тао: Jiuzhang Yunji, объявление от 13 октября 2026 года.
• Заявленный вектор: RL как инфраструктура AI for Science.
• Не раскрыто: правила, число решённых задач, объём вычислений, способ верификации.

На что смотреть дальше

Пока это заявка на позиционирование, а не результат. Оценивать её стоит по нескольким признакам. Опубликует ли компания протокол: какие задачи, сколько попыток, какие ресурсы. Будут ли решения проверены формально или людьми, и кто именно проверяет. Скажет ли она хоть что-то о пользе для работающих математиков, а не только о проценте закрытых задач: именно это письмо ставит во главу угла.

Для инженеров и покупателей AI-инфраструктуры вывод практичный. Если вы строите RL-пайплайны для науки, самое ценное в математическом челлендже не рейтинг, а готовая связка «среда, верификатор, масштабируемый rollout». Её можно переносить на химию, материаловедение и доказательное программирование, где проверка тоже автоматизируема. Если же вы выбираете поставщика, просите не бенчмарк-таблицу, а воспроизводимый отчёт с затратами GPU-часов и описанием верификации. Критика лауреатов Филдса как раз о том, что голая таблица ничего не доказывает.