Justin Sun Prize и MathDB: пилот 50 задач, $1 млн призов

3 мин

Женева, Швейцария — 26 октября 2026 г. — Office of Justin Sun объявил о пилотной программе премии Justin Sun Prize совместно с MathDB, платформой математических исследований под руководством профессора Caltech Tony Yue Yu.

Justin Sun Prize задумана как децентрализованная, формализованная, управляемая машинами система наград за научные исследования в эпоху ИИ. Вознаграждение за решение задачи может достигать $1 млн, при соблюдении критериев и правил программы.

Сотрудничество и процесс

MathDB будет управлять подачей материалов, проверять формализации в Lean и рецензировать объяснительные материалы. Justin Sun Prize оценит соответствие требованиям, атрибуцию, приоритет и применимые условия наград. Пилот охватывает 50 задач в четырех уровнях наград. К задачам высшего уровня относятся P против NP, Гипотеза Римана, существование Yang–Mills и масс-щель, Гипотеза Ходжа, глобальная функториальность Ланглендса и гипотеза Бёрча — Суиннертона-Дайера. Полный список и правила будут доступны через MathDB и Justin Sun Prize.

Структура и критерии программы

Награды предоставляются при условии проверки соответствия требованиям, соблюдения AML и санкционного комплаенса, а также официальных правил, опубликованных на https://www.hejustinsun.com/prize. В пилоте MathDB распределяет вознаграждение по типам вклада: 50% — за математическое решение, 30% — за формализацию в Lean и 20% — за соответствующее изложение.

Платформа MathDB

MathDB — это общедоступная база данных определений, теорем, гипотез и открытых проблем. Она интегрирует формализацию в Lean и автоматизированную проверку доказательств вместе с математическими объяснениями и исследовательскими материалами. Профессор Tony Yue Yu и его команда возглавят научную часть пилота.

Заявления

Justin Sun заявил, что инициатива объединяет человеческую интуицию с машинной проверяемой строгостью, чтобы ускорить открытия без компромиссов по стандартам. Tony Yue Yu подчеркнул, что решение фундаментальных задач приносит инструменты и связи между дисциплинами, а децентрализованные, строгие и проверяемые подходы способны ускорить научный прогресс.

Доступ к подробной информации

Список задач для участия, требования к заявкам и процедуры рассмотрения будут опубликованы на MathDB и на сайте Justin Sun Prize.

Об Office of Justin Sun

Office поддерживает инициативы Justin Sun в области технологий, блокчейна, ИИ, научных исследований, инвестиций, искусства и космических исследований. Sun — Посол и бывший Постоянный представитель Гренады при ВТО и Основатель TRON, которая сообщает о более чем $13 трлн обработанного объема с момента запуска и широко используется для транзакций USDT на развивающихся рынках.

О Justin Sun Prize

Премия поддерживает прорывы в математике, формальной проверке и исследованиях с поддержкой ИИ. Она отдает приоритет силе доказательства, строгости и проверяемости, а не престижу автора. Премия связывает четко определенные математические задачи с машинно проверяемыми доказательствами на принципах открытости, общественной полезности и открытого доступа к коду. Информация о программе: https://www.hejustinsun.com/prize.