Основатель TRON Джастин Сан объявил о создании Justin Sun Prize, новой премии за решение сложных математических задач и формализацию доказательств для машинной проверки.
Идея заметно отличается от традиционных научных наград. Здесь нет возрастных ограничений, ежегодной церемонии или классического голосования комиссии. Главное условие получения вознаграждения, математическое доказательство должно в итоге пройти полную машинную проверку без ошибок.
Особенно интересно, что правила премии изначально учитывают новую реальность: решать задачи смогут люди, искусственный интеллект или человек вместе с AI.
Две награды за одну математическую задачу
Для каждой задачи предусмотрены две отдельные роли.
Первая - prover, то есть автор математического доказательства.
Вторая - formalizer, человек или система, которая переводит это доказательство в строгую форму, позволяющую компьютеру проверить каждый этап.
Обе роли может выполнить один участник, а могут совершенно разные люди. При этом Сан прямо заявляет, что для него не имеет значения, кто получил результат, человек, AI или их комбинация.
Если математическое сообщество признает новое доказательство правильным, имя его автора будет зафиксировано сразу. Но деньги останутся заблокированными со статусом «Proved, pending formalization» до завершения формализации и машинной проверки.
Получается интересная модель. Доказать теорему недостаточно, необходимо еще сделать доказательство полностью понятным и проверяемым для машины.
Почему Сан решил создать математическую премию
Свою мотивацию Джастин Сан связывает непосредственно с происхождением криптоиндустрии. Он отмечает, что блокчейн существует благодаря математике и криптографии: эллиптическим кривым, хеш-функциям и другим математическим конструкциям.
По его словам, значительную часть своего состояния он получил благодаря индустрии, построенной на этих открытиях, поэтому создание премии способ вернуть часть полученного обратно в фундаментальную математику.
В качестве исторического примера Сан вспоминает математика Пала Эрдёша, который назначал собственные денежные награды за решение открытых математических задач от $25 до $10 000. Justin Sun Prize фактически переносит эту идею в эпоху AI и блокчейна.
Почему здесь настолько важен искусственный интеллект
По мнению Сана, математика входит в совершенно новую эпоху. AI особенно хорошо подходит для задач, связанных с логическими рассуждениями и перебором большого количества возможных путей решения. Поэтому скорость появления и проверки математических доказательств потенциально может значительно увеличиться.
Именно поэтому премия не будет проводиться раз в несколько лет. Вместо этого создается постоянно пополняемый реестр математических задач с заранее установленными наградами.
Сан сохраняет за собой право определять, какие задачи появятся в списке и сколько будет стоить их решение. Но после добавления задачи ее нельзя удалить, а предназначенное для нее вознаграждение нельзя вернуть обратно спонсору.
Блокчейн вместо доверия к организатору
Еще одна необычная часть Justin Sun Prize, использование блокчейна для призового фонда. По словам Сана, первоначальный фонд уже размещен ончейн, а его адрес и баланс доступны публично. Сам Сан оставляет за собой возможность только добавлять новые средства.
Все выплаты победителям также должны оставаться в блокчейне, позволяя независимо проверить историю распределения наград. Победившие математические доказательства планируется публиковать открыто.
Таким образом, Сан хочет минимизировать необходимость доверять ему самому или отдельной комиссии: правильность формализованного доказательства должна определяться математикой и машинной проверкой, а движение призовых средств — фиксироваться ончейн.
Премия не ограничена только людьми
Возможно, самая необычная особенность Justin Sun Prize заключается именно здесь. Традиционные научные премии созданы для признания достижений людей. В новой системе происхождение решения принципиального значения иметь не должно.
Если AI самостоятельно найдет доказательство, либо человек получит его совместно с AI, результат может претендовать на признание на тех же условиях. Главное корректность доказательства и возможность его формальной проверки Это превращает премию одновременно в эксперимент на пересечении математики, AI и блокчейна.
Почему премия получила имя Джастина Сана
Сан отдельно объясняет и решение назвать награду собственным именем. Он приводит в пример премии Нобеля, Филдса, Абеля и Тьюринга и считает, что персональное имя позволяет инициативе существовать независимо от компаний и институтов.
Кроме того, 36-летний Сан пишет, что уже накопленного состояния ему достаточно и он хочет самостоятельно определить его дальнейшее предназначение: капитал, полученный благодаря математике, должен вернуться в математику.
Более того, он заявляет, что намерен сосредоточить дальнейшие благотворительные усилия именно на Justin Sun Prize, поскольку считает эту инициативу своим потенциально наиболее значимым вкладом. Пока премия будет посвящена исключительно математике.
Заключение
Самое интересное в Justin Sun Prize даже не сам призовой фонд, а попытка создать новую модель научного вознаграждения для эпохи искусственного интеллекта. Здесь соединяются сразу три направления: математика дает задачу, AI может участвовать в ее решении и формализации, а блокчейн обеспечивает прозрачность вознаграждения.
Особенно показательно отсутствие принципиального разделения между человеком и машиной. Если AI действительно начнет самостоятельно решать серьезные математические задачи, Justin Sun Prize потенциально может стать одним из экспериментов, где такие результаты будут не просто демонстрироваться, а формально проверяться, фиксироваться и получать экономическую ценность.
Теперь главный вопрос, какие именно нерешенные математические задачи появятся в официальном реестре и какие суммы Сан назначит за их решение.