Офис Джастина Сана объявил новых лауреатов премии Justin Sun Prize. Награды получили независимый исследователь Ваутер ван Дорн, аспирант Цюаньюй Тан и математик Янъян Ли из Юго-Восточного университета в Нанкине. Ученые отмечены за решение шести задач Эрдёша, включенных в каталог из более чем 1200 математических проблем.
В своей работе исследователи использовали ИИ-инструменты. При решении задачи №650 ChatGPT помог разработать стратегию доказательства, а система Aristotle устранила пробелы при формализации в ПО Lean. Программа поощряет создание доказательств, которые можно проверить с помощью компьютера, сочетая человеческую экспертизу и возможности искусственного интеллекта.
Выплаты призовых производятся в стейблкоинах по выбору получателя: в USDT в сети TRON или в USDC в сети Ethereum. Программа премии, основанная Джастином Саном, направлена на поддержку научных открытий и формальной верификации. Вся информация о задачах и работах лауреатов доступна в открытом репозитории на GitHub.
Инициатива Джастина Сана призвана возвращать ресурсы, полученные благодаря математическим и технологическим достижениям, обратно в науку. Премия ориентирована на оценку строгости и проверяемости доказательств, а не на репутацию авторов. Проект придерживается принципов открытого исходного кода и общественной пользы.
