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 будет оценивать соответствие требованиям, атрибуцию, приоритет и применимые условия наград. Награды предоставляются при условии проверки соответствия критериям, соблюдения AML и санкционных требований, а также официальных правил программы, доступных по адресу https://www.hejustinsun.com/prize.

Покрытие пилота и структура премий

Пилот охватывает 50 задач по четырем уровням наград; к задачам высшего уровня относятся P vs NP, Riemann Hypothesis, Yang–Mills Existence and Mass Gap, Hodge Conjecture, Global Langlands functoriality и Birch and Swinnerton-Dyer Conjecture. Полный список и условия будут предоставлены через MathDB и Justin Sun Prize.

Распределение вознаграждения в рамках пилота: 50% — за математическое решение, 30% — за формализацию в Lean и 20% — за квалифицированное изложение.

Обоснование и заявления

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

Профессор Tony Yue Yu отметил, что решение фундаментальных задач дает инструменты, связи и новые направления исследований. Сотрудничество продвигает децентрализованные, строгие и проверяемые подходы для ускорения открытий.

О MathDB

MathDB — это сообщественная база данных математических определений, теорем, гипотез и открытых проблем. Она объединяет формализацию в Lean и автоматизированную проверку доказательств наряду с объяснениями и сопроводительными материалами. Профессор Yu и его команда руководят научной частью пилота. Подробнее: https://mathdb.com/ и https://www.hejustinsun.com/prize.

Об Office of Justin Sun

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

О Justin Sun Prize

Академическая инициатива, направленная на развитие математики, формальной верификации и открытий с помощью ИИ. Премия делает акцент на силе доказательства, строгости и проверяемости, а не на репутации отправителя. Она связывает четко сформулированные математические задачи с машино-проверяемыми доказательствами, следуя принципам открытости, общественной пользы и открытого кода.