Justin Sun Prize: Математична премія з блокчейн-виплатами

Засновник блокчейн-платформи TRON, Джастін Сан, офіційно оголосив про запуск Justin Sun Prize – нової математичної премії, що передбачає виплати винагород через блокчейн. Ця ініціатива, анонсована 16 вересня 2026 року, спрямована на стимулювання розвитку математики шляхом публічних, автоматизованих ончейн-виплат авторам доказів та фахівцям з їхньої формалізації для машинної перевірки.

Механізм Justin Sun Prize: Інновації у винагородженні математиків

Премія Джастіна Сана кардинально відрізняється від традиційних академічних нагород. Вона не встановлює вікових обмежень, не має номінацій чи щорічних церемоній, фокусуючись виключно на якості та формалізації математичних доказів. Кожна поставлена задача передбачає винагороду для двох ключових ролей:

• Prover: Автор математичного доказу.
• Formalizer: Фахівець, який переводить доказ у формат, придатний для автоматизованої перевірки за допомогою комп'ютерних систем.

Ці ролі можуть бути виконані однією особою або різними учасниками. Джастін Сан підкреслив, що не має значення, чи буде результат отриманий людиною, штучним інтелектом (ШІ), чи їхньою комбінацією, що відображає сучасні тенденції у розвитку технологій. Винагорода виплачується миттєво після того, як машина безпомилково перевірить доказ від початку до кінця. Якщо ж математична спільнота вже визнала доказ, але його ще не формалізовано, він отримує статус «доведено, очікує формалізації», а відповідні кошти залишаються заблокованими на блокчейні до завершення процесу.

Блокчейн, ШІ та майбутнє математичних досліджень

Justin Sun Prize вже оголосила перші 66 призових задач із класичної математики під гаслом «66 задач. Одна межа», що викликало значний резонанс у спільноті X (раніше Twitter). Користувач Чау Ле позитивно оцінив ініціативу за її унікальне поєднання математики, блокчейну, штучного інтелекту та формальної верифікації, відзначивши, що механізм премії відображає фундаментальний принцип блокчейну: можливість самостійної перевірки результатів без необхідності довіряти посередникам. Користувач Kaisen також наголосив, що премія винагороджує конкретні складові роботи – створення доказу та його формалізацію – а не репутацію чи статус. Публічний реєстр задач, доказів та ончейн-виплат створює довгостроковий запис математичних результатів, забезпечуючи прозорість та незмінність даних.

Джастін Сан пояснив, що його особисті статки значною мірою сформувалися завдяки математичним принципам, які є основою криптографії та блокчейн-технологій. Він переконаний, що розвиток штучного інтелекту відкриває нову еру для математики, оскільки машини здатні значно прискорити пошук і формалізацію складних доказів. Сан наголосив, що його роль обмежується лише формуванням переліку задач та визначенням винагород; після додавання задачі до реєстру її неможливо видалити, а внесені кошти – забрати. Початковий призовий фонд вже переведено в блокчейн, його адреса є публічною, а баланс доступний для перевірки будь-ким, що підкреслює прозорість та довіру до системи.

Ця ініціатива не лише стимулює математичні дослідження, а й демонструє практичне застосування блокчейн-технологій для створення прозорих, автоматизованих та незмінних систем винагород, що може стати зразком для інших галузей. Вона відображає глибоке розуміння Джастіном Саном взаємозв'язку між фундаментальною наукою та інноваційними технологіями, які формують майбутнє.