Запуск пилотной программы Justin Sun Prize с 50 математическими задачами при поддержке MathDB и профессора Тони Юэ Ю

Офис Justin Sun объявил о запуске новой пилотной программы для приза Justin Sun в сотрудничестве с MathDB, математической исследовательской платформой, разработанной профессором Калифорнийского технологического института Тони Юэ Ю и его командой. Эта инициатива направлена на создание децентрализованного и формализованного подхода к научным исследованиям, который можно сравнить с «Нобелевской премией эпохи ИИ».

В рамках пилотной программы участники могут представлять решения 50 математических задач, с потенциальными наградами до 1 миллиона долларов в зависимости от сложности задачи. Среди заметных вызовов — задача P против NP, гипотеза Римана и гипотеза Ходжа.

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

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

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