Основатель TRON Джастин Сан объявил о запуске “Justin Sun Prize” — международной премии для математиков, исследователей и команд, использующих искусственный интеллект. Максимальная награда за решение одной фундаментальной задачи составляет $1 млн. Организаторы рассчитывают превратить проект в своеобразную «Нобелевскую премию эпохи ИИ», где главным критерием станет не статус ученого или университета, а проверяемость математического результата. Премия была представлена 16 сентября 2026 года. В ее основе лежит открытый список задач: участники должны не только предложить решение, но и предоставить формализованное доказательство, которое можно проверить с помощью компьютерных систем. Для этого используется Lean — система, позволяющая машине пошагово удостовериться в корректности математического доказательства.
Первый список Justin Sun Prize охватывает результаты по 66 математическим задачам. Главную награду в размере $1 млн организаторы объявили для исследовательской команды OpenAI за работу над задачей существования и гладкости решений трехмерных уравнений Навье—Стокса — одной из семи знаменитых задач тысячелетия Математического института Клэя. OpenAI ранее сообщила, что ее внутренняя модель построила аналитическое доказательство, а GPT-6 Astra выполнила формализацию и проверку результата в Lean. По данным компании, над задачей одновременно работали около 10000 ИИ-агентов, а результат был получен примерно через 88 часов после запуска проекта. Еще 17 часов потребовалось на Lean-формализацию и проверку.
Читайте также
Геополитические конфликты усиливают киберугрозы для критической инфраструктуры
При этом история остается необычной. OpenAI отдельно заявила, что не намерена претендовать на официальный Millennium Prize за этот результат. В математическом сообществе также продолжается дискуссия о приоритете исследований, использовании ИИ и правилах определения авторства в эпоху генеративных моделей. Поэтому Justin Sun Prize пока стоит рассматривать не только как новую научную награду, но и как эксперимент с самим механизмом признания открытий.
Сам Сан объясняет инициативу желанием направить часть капитала обратно в фундаментальную науку. «Мое богатство основано на математике. Оно пришло из математики и вернется в математику», — заявил предприниматель.
Механика премии заметно отличается от традиционных академических наград. Участие не ограничено гражданством, университетом или научной степенью. К проекту могут присоединяться независимые исследователи и команды людей и ИИ. Материалы и критерии проверки должны находиться в открытом доступе. Девиз премии — «Quod probatur, solvitur», или «Доказано — оплачено».
Правила отдельно учитывают вклад автора математического решения и специалиста, переводящего его в машинно-проверяемую форму. По информации официального сайта, 70% фонда задачи отводится автору решения, а 30% — автору Lean-формализации. Если обе части выполнены одной командой, она может получить всю сумму. Вознаграждения планируется выплачивать в стейблкоинах: USDT в сети TRON или USDC в Ethereum. Перед получением средств лауреаты должны пройти идентификацию и комплаенс-проверку.
В перечень премии уже входят гипотеза Римана, P против NP, гипотеза Гольдбаха и другие фундаментальные задачи. Если инициативе удастся получить устойчивое признание исследовательского сообщества, Justin Sun Prize может стать заметным экспериментом на стыке математики, искусственного интеллекта и блокчейна — трех областей, где технологии уже начинают менять традиционные правила научных открытий.
Меню 
Знания 
События 
Новости 
Курсы валют