26 октября 2026 года команда Джастина Сана объявила о партнёрстве Justin Sun Prize с математической платформой MathDB. В рамках сотрудничества запускается пилотная программа из 50 математических задач, а призовой фонд за решение отдельных проблем может достигать $1 млн.
Научное направление программы возглавит профессор Калифорнийского технологического института (Caltech) Тони Юэ Ю (Tony Yue Yu) вместе со своей командой.
Главная цель инициативы объединить фундаментальную математику, искусственный интеллект и технологии формальной проверки доказательств.
50 математических задач и вознаграждения до $1 млн
Новая программа охватывает 50 математических проблем, распределённых по четырём уровням вознаграждений.
В наиболее сложную категорию входят некоторые из самых известных нерешённых задач современной математики:
P против NP - одна из центральных проблем теоретической информатики.
Гипотеза Римана - фундаментальная задача теории чисел.
Гипотеза Ходжа - важнейшая проблема алгебраической геометрии.
Существование теории Янга - Миллса и массовый разрыв - задача математической физики.
Гипотеза Бёрча - Свиннертон-Дайера - проблема, связанная с эллиптическими кривыми.
Функториальность в глобальной программе Ленглендса - направление, объединяющее различные разделы современной математики.
В зависимости от сложности задачи общий призовой фонд за её решение может достигать $1 млн.
Деньги получат не только авторы решений
Одной из наиболее интересных особенностей сотрудничества Justin Sun Prize и MathDB стала система распределения наград.
Вознаграждение разделяется на три направления:
50% - непосредственно за математическое решение.
30% - за формализацию доказательства в Lean.
20% - за качественное и доступное объяснение полученного результата.
Например, если призовой фонд конкретной задачи составляет $1 млн, предусмотренное распределение соответствует $500 000 за решение, $300 000 за формализацию и $200 000 за объяснение.
Это не означает автоматическую выплату всех трёх частей, каждая категория предполагает отдельную проверку и выполнение установленных условий.
Подобный подход интересен тем, что программа стимулирует не только поиск математических открытий, но и их проверку, документирование и распространение.
Зачем нужен Lean?
Одной из ключевых технологий новой программы станет Lean, система формальной проверки математических доказательств.
Современные ИИ-модели уже способны предлагать сложные математические рассуждения, однако убедительно выглядящий ответ не всегда является правильным. Особенно это важно при решении фундаментальных задач, где даже небольшая логическая ошибка может полностью обесценить результат.
Lean позволяет представить доказательство в формальном виде, после чего специальная программа проверяет корректность логических шагов. Таким образом, исследователь может предложить решение, другой специалист формализовать его, а система проверки поможет подтвердить правильность математических рассуждений.
При этом автоматическая проверка не заменяет всей научной экспертизы, также необходимо установить, что формализовано именно требуемое утверждение и соблюдены правила конкурса.
Главная идея оценивать научные результаты по строгости доказательств, а не по известности их авторов.
Какую роль играет MathDB?
MathDB - исследовательская платформа для организации математических знаний, открытых проблем, теорем и доказательств. В рамках партнёрства платформа будет принимать представленные решения, проверять формализации в Lean и оценивать пояснительные материалы.
Команда Justin Sun Prize отдельно отвечает за проверку соответствия участников условиям программы, установление авторства, приоритета результатов и применение правил присуждения наград.
Таким образом, создаётся процедура, в которой научная проверка и определение права на вознаграждение выполняются раздельно.
Как это связано с искусственным интеллектом и TRON?
Джастин Сан уже неоднократно подчёркивал, что фундаментальная математика лежит в основе современных блокчейнов, криптографии и многих других технологий.
Развитие искусственного интеллекта открывает дополнительные возможности для проведения научных исследований. ИИ может помогать искать закономерности, предлагать гипотезы и участвовать в разработке доказательств.
Однако чем активнее используются подобные инструменты, тем важнее становится независимая проверка результатов. Именно эту задачу Justin Sun Prize пытается решить через сотрудничество с MathDB.
Заключение
На мой взгляд, партнёрство Justin Sun Prize с MathDB один из наиболее интересных этапов развития инициативы. Особенно привлекает внимание система распределения наград.
Вознаграждаются не только авторы математических решений, но и специалисты, которые смогут формально доказать их корректность и объяснить результаты другим исследователям.
В эпоху стремительного развития ИИ это действительно важный подход. Сегодня нейросети способны генерировать огромное количество гипотез и рассуждений, однако научную ценность представляют только результаты, которые выдерживают строгую проверку. И здесь у формальных методов может появиться совершенно новая роль.
Конечно, запуск программы ещё не означает, что сложнейшие математические задачи будут решены в ближайшее время. Но если сотрудничество с MathDB позволит создать прозрачную систему проверки и вознаграждения научных открытий, инициатива может оказаться полезной далеко за пределами криптовалютной индустрии.
В конечном итоге развитие фундаментальной математики способно принести гораздо больше пользы технологиям будущего, чем очередной краткосрочный тренд на крипторынке.
#Tron #JustinSun #AI #TGF #TRONGlobalFreinds