Премія Джастіна Сана підписала угоду з MathDB Тоні Юе Ю про пілот із 50 задачами

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

У рамках цієї співпраці запроваджується процес подання та розгляду заявок через MathDB. MathDB прийматиме подані рішення, перевірятиме формалізації за методом Lean та розглядатиме пояснювальні матеріали, тоді як «Премія Джастіна Сана» окремо оцінюватиме відповідність вимогам, авторство, пріоритетність та відповідні умови присудження премії.

«Штучний інтелект змінює швидкість, з якою можна досліджувати математику, але сама по собі швидкість не є науковим прогресом», — зазначив Джастін Сан, засновник премії Justin Sun Prize. «Можливість полягає у створенні структури, де людське розуміння та машинний інтелект можуть працювати разом без шкоди для строгості. Співпраця з MathDB об’єднує математичні відкриття та докази, що піддаються машинній перевірці, в єдиний процес, що, на нашу думку, допоможе сформувати більш сувору модель для майбутніх відкриттів».

Пілотний проект охоплює 50 задач, розподілених на чотири рівні нагород, причому призовий фонд для кожного рівня може сягати 1 мільйона доларів, залежно від задачі. До найвищого рівня входять, зокрема, проблема P проти NP, гіпотеза Рімана, існування та масова щілина Янга-Міллса, гіпотеза Ходжа, глобальна функторальність Ленглендса та гіпотези Бірча та Свіннертона-Дайера. Повний перелік задач-учасниць та відповідні умови присудження премій будуть доступні на MathDB та на сайті премії Джастіна Сана.

Усі премії надаються за умови повної перевірки відповідності вимогам, дотримання законодавства щодо протидії відмиванню грошей (AML/санкції) та офіційних правил програми, доступних за адресою https://www.hejustinsun.com/prize.

З метою розширення охоплення та впливу передових досліджень пілотна програма MathDB винагороджуватиме не лише розв’язки математичних задач, а й цікаве та доступне викладення цих розв’язків. Винагорода розподіляється на три категорії: 50 % — за математичний розв’язок, 30 % — за формалізацію за методом Lean та 20 % — за відповідне викладення.

MathDB — це великомасштабна спільнотна база даних математичних визначень, теорем, гіпотез та відкритих проблем, метою якої є спрощення організації, взаємозв’язку та розвитку математичних знань. Проєкт поєднує формалізацію за методом Lean та можливості автоматизованої верифікації доказів із математичними поясненнями та супровідними дослідницькими матеріалами. Професор Тоні Юе Ю з Каліфорнійського технологічного інституту разом зі своєю командою очолюватиме наукові аспекти пілотного проекту.

«Розв’язання фундаментальної математичної проблеми часто приносить набагато більше, ніж просто відповідь на початкове питання», — зазначив Ю. «Цей процес може виявити несподівані зв’язки, запропонувати потужні інструменти та відкрити цілком нові напрямки досліджень. Ці досягнення можуть мати вплив, що поширюється на різні покоління та дисципліни. Премія Джастіна Сана вшановує цей дух досліджень, привертаючи увагу до складних проблем, підтримуючи дослідників, які їх вивчають, та заохочуючи поширення знань серед широкої громадськості. Наша співпраця з премією Джастіна Сана ґрунтується на переконанні, що проведення фундаментальних досліджень за допомогою децентралізованих, ретельних та перевірених підходів може прискорити темпи відкриттів і наукового прогресу, а також сприяти розвитку людської цивілізації».

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

Про Офіс Джастіна Сана

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

Джастін Сан є послом та колишнім постійним представником Гренади при Світовій організації торгівлі, а також засновником TRON. TRON — це провідний блокчейн, що стоїть на чолі революції стабільних монет, обсяг операцій якого з моменту заснування перевищив 13 трильйонів доларів. На ринках, що розвиваються, люди покладаються на USDT на TRON для доступу до глобальної фінансової системи.

Сан, учень засновника Alibaba Джека Ма, отримав міжнародне визнання за свою діяльність у галузі цифрових активів, зокрема з’явився на обкладинці журналу Forbes у квітні 2025 року та неодноразово потрапляв до списку «30 до 30» Forbes. У серпні 2025 року він здійснив політ у рамках місії NS-34 компанії Blue Origin, ставши 712-ю людиною в історії, яка побувала в космосі. Його інтереси охоплюють такі сфери, як технології, інвестиції, благодійність, мистецтво, ігри та освоєння космосу.

Контакти офісу Джастіна Сана:

info@hejustinsun.com

Про премію імені Джастіна Сана

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

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

Відвідайте сайт https://www.hejustinsun.com/prize для отримання додаткової інформації.

Контакт для ЗМІ:

media@hejustinsun.com

_________________________________________________________________________

Bitcoin.com не несе жодної відповідальності та не буде нести відповідальність, прямо чи опосередковано, за будь-які збитки, шкоду, претензії, витрати чи видатки будь-якого роду, фактичні, передбачувані чи наслідкові, що виникають у зв’язку з використанням або покладанням на будь-який контент, товари чи послуги, згадані в цій статті. Покладання на таку інформацію здійснюється виключно на власний ризик читача.