Сегодня офис Justin Sun объявил о запуске пилотной программы Justin Sun Prize в сотрудничестве с MathDB, математической исследовательской платформой, разработанной профессором Калифорнийского технологического института Тони Юэ Ю и его командой.

Justin Sun Prize была создана, чтобы стать "Нобелевской премией эпохи искусственного интеллекта", отвечая на глубокие изменения в научной деятельности и системе стимулов в новую эпоху, делая это более децентрализованным, формализованным и основанным на использовании машинного интеллекта. Размер призового фонда за решение конкретной задачи может достигать 1 миллиона долларов США, в зависимости от условий и требований к участникам.

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

"Искусственный интеллект меняет скорость, с которой можно изучать математику, но скорость сама по себе не является научным прогрессом", - заявил Джастин Сан, основатель Justin Sun Prize. "Возможность заключается в создании системы, в которой человеческий интеллект и машинный интеллект могут работать вместе, не жертвуя строгостью. Сотрудничество с MathDB позволяет объединить математические открытия и машинную проверку доказательств в одном процессе, что, по нашему мнению, может помочь определить более строгую модель для будущих открытий".

Пилотная программа охватывает 50 задач, разделенных на четыре уровня, с призовыми фондами за решение каждой задачи, достигающими 1 миллиона долларов США, в зависимости от сложности задачи. Наивысший уровень включает такие задачи, как P против NP, гипотеза Римана, существование и разрыв массы в теории Янга-Миллса, гипотеза Ходжа, глобальная функториальность Лендгландса и гипотеза Бирча и Свиннертон-Дайера, среди прочих. Полный список участвующих задач и условия получения призов будут доступны на платформах MathDB и Justin Sun Prize.

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

Для расширения охвата и влияния передовых исследований, пилотная программа MathDB будет награждать не только решения математических задач, но и интересные и доступные объяснения этих решений. Награда разделена на три категории: 50% за математическое решение, 30% за формализацию в системе Lean и 20% за качественное изложение.

MathDB – это крупная общедоступная база данных математических определений, теорем, гипотез и открытых проблем, целью которой является упрощение организации, связи и развития математических знаний. Проект включает в себя формализацию в системе Lean и возможности автоматической проверки доказательств, а также математические объяснения и вспомогательные материалы для исследований. Профессор Тони Юэ Ю из Калифорнийского технологического института, вместе со своей командой, будет руководить научными аспектами пилотной программы.

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

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

Офис Джастина Сана

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

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

Джастин Сан, ученик основателя Alibaba Джека Ма, получил международное признание за свою работу в индустрии цифровых активов, включая статью о нем на обложке журнала Forbes в апреле 2025 года и несколько включений в список Forbes 30 Under 30. В августе 2025 года он совершил полет на корабле Blue Origin NS-34, став 712-м человеком в истории, побывавшим в космосе. Его интересы охватывают технологии, инвестиции, благотворительность, искусство, игры и освоение космоса.

О премии имени Джастина Сана

Премия имени Джастина Сана – это академическая инициатива, созданная Джастином Саном для поддержки развития математики, формальной верификации и научных открытий с использованием искусственного интеллекта. Премия является децентрализованной и основана на принципе, что математические работы должны оцениваться по силе, строгости и проверяемости самого доказательства, а не по престижу или репутации авторов.

Джастин Сан учредил эту премию под своим именем, чтобы продемонстрировать долгосрочное стремление возвращать обществу богатство, созданное благодаря математике и технологиям, и направлять его обратно в саму математику. Наследие этой премии должно определяться объемом работ, которые она признает, и достижениями лауреатов, которые выдержат испытание временем. Премия связывает четко сформулированные математические задачи с доказательствами, которые могут быть проверены с помощью компьютерных программ. Ее основные принципы – открытость, общественная польза и доступность исходного кода.

Для получения дополнительной информации посетите сайт https://www.hejustinsun.com/prize.