Justin Sun Prize и MathDB запускают пилот из 50 задач с призами $1M

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% за математическое решение, 30% за формализацию в Lean, 20% за квалифицированное изложение.

Масштаб пилота

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.

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

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

Обзор MathDB

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

Соответствие требованиям и допуск

Награждение требует полной проверки соответствия критериям и соблюдения AML и санкционного законодательства.
Официальные правила и детали программы: https://www.hejustinsun.com/prize.

Ссылки

Задачи, подача решений и процедуры рецензирования: MathDB.
Подробности программы и условия награждения: Justin Sun Prize.

Об Office of Justin Sun

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

Justin Sun был героем материалов Forbes и вошел в список Forbes 30 Under 30. В августе 2025 года он совершил полет на миссии Blue Origin NS-34 как 712-й человек, побывавший в космосе.

О премии Justin Sun Prize

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