16 сентября Бай Ючэнь, основатель TRON, официально объявил о создании премии «Бай Ючэнь». Это первый в мире механизм децентрализованного академического вознаграждения на основе «списка задач» с нулевым доверием, где единственным критерием выдачи премии являются крупные прорывы в фундаментальных науках и машинная формальная верификация; максимальная награда за одну задачу достигает 1 миллиона долларов США. Создание этой премии не только восполняет исторический пробел в более чем столетней истории Нобелевской премии — отсутствие премии по математике — но и стремится переопределить логику и границы научного вознаграждения в эпоху ИИ, способствуя совместному ускорению фундаментальных научных исследований человеком и искусственным интеллектом.
Сунь Ючэнь также объявил первый список лауреатов премии «Сунь Ючэнь» за достижения в решении 66 математических задач и их формализованные доказательства. Высшая премия в размере 1 миллиона долларов США была присуждена исследовательской команде OpenAI за решение и формализованное доказательство проблемы существования и гладкости трехмерных уравнений Навье–Стокса. Согласно информации, опубликованной OpenAI, соответствующее доказательство было сгенерировано их внутренней системой, формализация выполнена GPT-6 Astra и уже подтверждена с помощью Lean.
Эта проблема связана с уравнениями Навье–Стокса, описывающими движение жидкости, кратко называемыми уравнениями Н–С. Эти уравнения были разработаны в XIX веке французским физиком Клодом-Луи Навье, ирландско-британским математиком Джорджем Габриэлем Стоксом и другими и имеют уже около двухсот лет истории. В 2000 году Институт математики Клэя включил «проблему существования и гладкости решений уравнений Навье–Стокса в трёх измерениях» в список семи тысячелетних проблем и назначил за её решение приз в 1 миллион долларов США.
Эти награждённые достижения также связаны с гипотезой Sendov, проблемой Эрдёша о попарно различных подмножествах и гипотезой Dinitz–Garg–Goemans о сохранении стоимости. Согласно правилам премии «Сунь Ючэнь», лауреаты, указанные в опубликованном списке, должны самостоятельно подать заявку на получение приза.
Сунь Ючэнь заявил, что математика является фундаментальным языком и структурой всех базовых наук. То, что действительно расширяет границы человеческого познания, — это не только одиночные поиски, но и превращение инсайтов в формализованные результаты, которые могут быть строго проверены машинами и воспроизведены всем человечеством. Премия «Сунь Ючэнь» была создана именно для этого: она не основана на традиционных номинациях и квалификационных барьерах, не привязана к четырехлетним циклам или жизненным достижениям, а напрямую связывает награду с нерешенными математическими задачами и формализованными доказательствами, проверяемыми машинами. Любые участники — будь то профессиональные исследователи, независимые энтузиасты или индивидуальные лица и команды, объединяющие людей и ИИ — получат награду, если первыми достигнут прорыва.
В эпоху ИИ срок решения гипотезы сокращается с нескольких лет до нескольких месяцев или даже дней. Традиционные системы вознаграждения, основанные на «пожизненных достижениях» или фиксированных циклах, уже не могут соответствовать ускоряющемуся темпу научного прогресса. Видение премии Сунь Ючэня — стать «Нобелевской премией эпохи ИИ», которая отвечает глубокой трансформации научных исследований и стимулирования в новую эпоху более децентрализованным, формализованным и машинным способом. Она будет постоянно поддерживать и публично обновлять математическую задачу и репозиторий формализованного кода: список задач будет заблокирован навсегда после публикации, только пополняться, а премии будут выплачиваться, но не возвращаться, превратившись в «карту строительства с ценой».
Согласно информации, премия «Сунь Ючэнь» будет присуждаться исключительно первому завершившему задачу; если задачу завершат несколько человек, премия распределяется пропорционально вкладу каждого. Решающий задачу получает 70% от общей суммы приза, а тот, кто завершает формальную верификацию, — 30%; если один человек одновременно решает задачу и выполняет формальную верификацию, он получает полную сумму приза. Даже если задачу решит искусственный интеллект, премия присуждается, однако заявитель и законный получатель средств должны быть физическим лицом, юридическим лицом или их письменным уполномоченным представителем. Премия охватывает математические достижения, полученные с 1 января 2026 года; если задача была решена до этой даты, но формальная верификация завершена позже, премия присуждается автору верификации. Текущий список задач включает формальную верификацию гипотезы Пуанкаре, гипотезу Римана, гипотезу Гольдбаха, а также множество нерешенных проблем, поставленных покойным математиком и лауреатом премии Вольфа Полом Эрдёшем.
Сунь Ючэнь сообщил, что помимо призовых денег победители также получат сертификаты и медали. Лицевая сторона медали украшена портретом Сунь Ючэня и надписями «Премия Сунь Ючэнь» на китайском и английском языках, а обратная сторона содержит гравировку, символизирующую человеческое исследование космоса. По краю выгравирована латинская фраза «Quod probatur, solvitur», что означает «Что доказано, то решено». Основа медали изготовлена из меди и покрыта 6 граммами чистого золота.
Премия Сунь Ючэнь придерживается трех принципов: открытость, благотворительность и открытый исходный код. Премия доступна всем соответствующим кандидатам без ограничений по национальности, организации или статусу, а также без различия между людьми и ИИ; средства используются исключительно для выплаты премий и поддержки открытых проектов, без цели получения прибыли; списки вопросов, критерии подтверждения, доказательства и проверочные материалы полностью открыты для публики через GitHub, а записи о выплатах премий записываются в блокчейн для постоянной прослеживаемости и неизменности.
Сунь Ючэнь отметил, что текущая работа по преобразованию человеческих математических доказательств в машиночитаемые формальные доказательства по-прежнему в основном зависит от добровольного энтузиазма сообществ формализации, таких как Lean, и долгосрочной системной экономической мотивации не хватает. «Формальные люди никогда не испытывают нехватки энтузиазма, им не хватает карты строительства с ценами». «Премия Сунь Ючэня» впервые предоставляет открытый список с вознаграждениями для этого ключевого этапа, стремясь кардинально изменить эту ситуацию.
Он далее отметил: «Премия, названная в честь человека, — это самое неполитичное явление в мире. Более того, это дает мне возможность отчитаться перед самим собой — мое богатство имеет корни в математике. Оно пришло из математики и вернется в математику». Согласно публичной информации, за последние несколько лет Сунь Ючэнь пожертвовал почти 45 миллионов долларов США (около 300 миллионов юаней) на развитие технологий, экологии и помощь при стихийных бедствиях. С этого момента его благотворительная деятельность будет полностью сосредоточена на «Премии Сунь Ючэнь», и он будет постоянно способствовать ускорению прорывов в фундаментальной науке открытым и проверяемым способом.
«Я не математик, я наблюдатель, я платю. Остальное — на доказательство», — сказал Сунь Ючэнь. Официальное учреждение премии «Сунь Ючэнь» открыло новую парадигму научного стимулирования, основанную на машинной верификации, движимую взаимодействием человека и машины и использующую децентрализованные вознаграждения.