Премия Justin Sun Prize запустила пилотную программу совместно с исследовательской платформой MathDB, которую возглавляет профессор Калифорнийского технологического института Тони Юэ Ю. Проект охватывает 50 математических задач, а призовой фонд за решение каждой из них может достигать $1 миллиона.
В список задач вошли такие фундаментальные проблемы, как гипотеза Римана, равенство классов P и NP, гипотеза Ходжа и гипотеза Бёрча — Свиннертон-Дайера. MathDB отвечает за прием заявок и проверку доказательств с использованием системы формализации Lean.
Вознаграждение распределяется по трем направлениям: 50% за математическое решение, 30% за формализацию в Lean и 20% за описание работы. Все участники должны пройти проверку на соответствие правилам программы и требованиям по борьбе с отмыванием денег.
Цель инициативы — развитие децентрализованного подхода к научным исследованиям с использованием машинной верификации. Проект направлен на создание открытой модели для математических открытий, объединяющей человеческий интеллект и возможности автоматизированных систем.
