16 вересня засновник TRON Сун Ючень офіційно оголосив про створення «Премії Сун Ючень». Це перший у світі нульової довіри, децентралізований академічний конкурс на основі «списку завдань», де єдиними критеріями вручення премії є великі досягнення в фундаментальних науках та машинна формальна верифікація, а максимальна винагорода за одне завдання досягає 1 мільйона доларів США. Заснування цієї премії не лише заповнює історичний пробіл у понад сто років існування Нобелівської премії — відсутність премії з математики, але й намагається в епоху ШІ переосмислити логіку та межі наукових нагород, сприяючи спільному прискоренню фундаментальних наукових досліджень людиною та штучним інтелектом.
Сунь Ючэнь також оголосив перший список лауреатів премії «Сунь Ючэнь» за досягнення у вирішенні 66 математичних задач та їх формалізованому доведенні. Найвищу нагороду, 1 мільйон доларів США, отримала дослідницька команда OpenAI за вирішення та формалізоване доведення проблеми існування та гладкості тривимірних рівнянь Нав’є–Стокса. За інформацією, опублікованою OpenAI, відповідне доведення було згенероване їхньою внутрішньою системою, формалізацію виконала GPT-6 Astra, і воно було перевірено за допомогою Lean.
Ця проблема стосується рівнянь Нав’є–Стокса, які описують рух рідини і скорочено позначаються як N–S. Ці рівняння були розроблені у XIX столітті французьким фізиком Клодом-Луї Нав’є, ірландсько-британським математиком Джорджем Габріелем Стоксом та іншими, і мають близько двохсот років історії. У 2000 році Інститут клейової математики включив проблему "існування та гладкості тривимірних рівнянь Нав’є–Стокса" до списку семи тисячолітніх проблем і запропонував приз у розмірі 1 мільйона доларів США.
Цей відзначений результат також стосується гіпотези Сендова, проблеми Ердеша про різні підмножини, гіпотези Дініца–Гарга–Геманса щодо збереження вартості тощо. Згідно з правилами премії «Сунь Ючень», лауреати, включені до опублікованого списку, повинні самостійно подати заявку на отримання призового фонду.
Сунь Ючэнь заявив, що математика є базовою мовою та структурою всіх фундаментальних наук. Речі, що справді розширюють межі людського пізнання, — це не просто ізольовані пошуки, а перетворення інсайтів у формалізовані результати, які можна строго перевірити за допомогою машин та відтворити всією людською спільнотою. «Премія Сунь Ючэня» була створена саме для цього: вона не встановлює традиційних обмежень щодо номінацій та кваліфікації, не дотримується ритму раз на чотири роки або за підсумками життєвої діяльності, а безпосередньо зв’язує премію з нерозв’язаними математичними проблемами та формалізованими доведеннями, які можна перевірити за допомогою машин. Будь-хто, хто зробить прорив — професійний дослідник, незалежний ентузіаст або окрема особа чи команда, що співпрацює з ШІ — отримає винагороду, якщо першим завершить це досягнення.
У епоху ШІ період розв’язання гіпотез скорочується з років до місяців або навіть днів. Традиційні системи нагород, засновані на «життєвих досягненнях» або фіксованих циклах, вже не відповідають цьому прискореному науковому темпу. Візія премії «Сунь Ючень» — стати «Нобелівською премією епохи ШІ», щоб відповісти на глибоку трансформацію наукових досліджень та мотивації в нову епоху більш децентралізованим, формалізованим і машинізованим способом. Вона постійно підтримуватиме та публічно оновлюватиме математичну задачу та сховище формалізованого коду: список завдань, як тільки буде опублікований, навічно фіксується, тільки зростає, нагороди виплачуються, але не повертаються, стаючи «картою будівництва з ціною».
Згідно з інформацією, премія «Сунь Ючень» буде присуджуватися лише першому, хто завершить завдання; якщо кілька осіб виконають його разом, премія розподіляється пропорційно до внеску. Розв’язувач отримає 70% загальної суми премії, той, хто завершить формальну верифікацію — 30%; якщо одна особа одночасно розв’яже задачу та проведе формальну верифікацію, вона отримає повну суму премії. Навіть якщо завдання виконає штучний інтелект, премія все одно присуджується, але заявником та законним отримувачем коштів має бути відповідна фізична особа, юридична особа або їхній письмово уповноважений представник. Премія охоплює математичні досягнення, отримані з 1 січня 2026 року; якщо задача була розв’язана до цієї дати, але формальна верифікація була завершена пізніше, премія присуджується автору верифікації. Поточний список завдань включає формальну верифікацію гіпотези Пуанкаре, гіпотези Рімана, гіпотези Гольдбаха, а також велику кількість нерозв’язаних проблем, запропонованих покійним математиком та лауреатом премії Вольфа Полом Ердешем.
Сун Ючень розповів, що крім грошових призів, лауреати також отримають дипломи та медалі. На лицевій стороні медалі — портрет Сун Ючена та напис «Премія Сун Ючень» англійською та китайською мовами, на зворотній стороні — гравюра, що зображує дослідження космосу людством, а на краю викарбувано латинський напис «Quod probatur, solvitur», що означає «Що доведено, те й розв’язано». Основа медалі виготовлена з міді та покрита 6 грамами чистого золота.
Премія Сунь Ючень виходить з трьох основних принципів: відкритість, гуманітарність та відкритий код. Вона доступна для всіх кандидатів, що відповідають вимогам, без обмежень за національністю, організацією чи статусом, а також без розрізнення між людьми та ШІ. Кошти використовуються виключно для вручення премій та підтримки відкритих ініціатив і не мають мети отримання прибутку. Списки питань, критерії підтвердження, докази та перевірочні матеріали повністю відкриті для громадськості через GitHub, а записи виплат премій зберігаються в блокчейні, що забезпечує їхнє постійне відстеження та неможливість зміни.
Сунь Ючень зазначив, що наразі перетворення людських математичних доведень у машинно-перевірні формалізовані доведення все ще залежить від спонтанної ентузіазму спільнот, таких як Lean, а систематична економічна мотивація довгий час відсутня. «Формалісти ніколи не відчувають нестачі ентузіазму, їм не вистачає карти з цінами». «Премія Сунь Ючена» вперше надає публічний список із нагородами для цього ключового етапу, щоб повністю змінити цю ситуацію.
Він додав: «Нагорода, названа на честь людини, — це найменш політична річ у світі. Ще важливіше, це дає мені змогу віддати собі звіт — мій багатство походить з математики. Воно прийшло з математики і повернеться до математики». За відкритими даними, протягом останніх років Сунь Ючень вже пожертвував майже 45 мільйонів доларів США (приблизно 300 мільйонів юанів) на підтримку технологій, екології та надання допомоги при стихійних лихах. З цього моменту його гуманітарна діяльність повністю зосередиться на «Премії Сунь Ючень», щоб постійно сприяти прискореному розвитку фундаментальної науки через прозорий та перевірний підхід.
«Я не математик, я спостерігач, я платжу. Решту — залишаю доказам», — сказав Сунь Ючжэнь. Офіційне створення «Премії Сунь Ючжэнь» започаткувало нову наукову модель заохочення, засновану на машинній перевірці, рухомій силі людино-машинної взаємодії та децентралізованими нагородами.