Justin Sun объявляет приз и дарит OpenAI $1 млн за доказательство Навье–Стокса

4 мин

Женева, Швейцария — 16 сентября 2026 — Office of Justin Sun объявил о запуске Justin Sun Prize — децентрализованной, основанной на принципе zero‑trust академической системы вознаграждений, привязанной к публичному «списку задач». Награды присуждаются за прорывы в фундаментальных дисциплинах и машинно проверяемые формальные доказательства; максимальный приз — до 1 млн долларов США за задачу. Инициатива нацелена на систему научных поощрений в эпоху ИИ и призвана ускорить фундаментальные исследования через сотрудничество человека и ИИ.

Первые лауреаты и главный результат

Первый набор победителей охватывает решения и формализации по 66 математическим задачам. Главный приз в 1 млн долларов США получил исследовательский коллектив OpenAI за решение и Lean‑верифицированное доказательство существования и гладкости для трехмерных уравнений Навье—Стокса. OpenAI заявляет, что доказательство было получено внутренней моделью компании, а GPT‑6 Astra выполнила формализацию в Lean и верификацию.

Задача о существовании и гладкости решений уравнений Навье—Стокса, входящая с 2000 года в список Millennium Prize Problems с вознаграждением 1 млн долларов США от Clay Mathematics Institute, касается поведения течений жидкости, описываемых уравнениями Н—С, разработанными в XIX веке.

Механизм и охват

Премия исключает номинации и фильтры по заслугам и не следует циклам или логике «за вклад всей жизни». Награды привязаны к конкретным задачам и машинно проверяемым доказательствам. Приз получает тот, кто первым выполнит критерии. Репозиторий задач и формализованного кода открыт и непрерывно обновляется. Однажды включенная задача остается в списке; выплаченные средства не подлежат возврату.

Текущий список включает: формальную верификацию, связанную с гипотезой Пуанкаре, гипотезой Римана, проблемой Гольдбаха и множеством задач, связанных с Paul Erdős.

Управление, прозрачность и финансирование

Принципы: открытость, общественная польза и open source. Требования к участникам: без ограничений по гражданству, учреждению, идентичности или по тому, является ли автор человеком или ИИ. Публичные активы: список задач, стандарты подтверждения, доказательства и материалы верификации на GitHub. Выплаты записываются on‑chain для постоянной отслеживаемости и неизменяемости. Призы выплачиваются в USDT в сети TRON (TRC‑20) или в USDC в сети Ethereum (ERC‑20) по выбору получателя.

Признание и символика

Лауреаты получают сертификат и медаль. На гурте медали выгравировано: “Quod probatur, solvitur”, что переводится как «Доказано — значит оплачено».

Контекст о Justin Sun и филантропии

Согласно открытым данным, Justin Sun пожертвовал свыше 45 млн долларов США на технологии, охрану окружающей среды и ликвидацию последствий бедствий. Justin Sun Prize позиционируется как центральное направление филантропии для поддержки фундаментальной науки через открытую и проверяемую модель.

Об Office of Justin Sun

Office of Justin Sun поддерживает инициативы в областях технологий, блокчейна, ИИ, научных исследований, инвестиций, искусства и освоения космоса. Justin Sun — посол и бывший постоянный представитель Гренады при ВТО и основатель TRON. По данным TRON, с момента запуска через сеть прошло более 13 трлн долларов США, а USDT на TRON широко используется на развивающихся рынках.

О Sun писали Forbes; он неоднократно входил в список Forbes 30 Under 30 и в августе 2025 года совершил полет на миссии Blue Origin NS‑34, став 712‑м человеком, побывавшим в космосе.

О Justin Sun Prize

Justin Sun Prize поддерживает достижения в математике, формальной верификации и открытиях с помощью ИИ. Оценка сосредоточена на силе доказательства, строгости и проверяемости, а не на престижности автора. Премия связывает четко определенные математические вызовы с машинно проверяемыми доказательствами и следует принципам открытости, общественной пользы и открытого доступа к исходному коду.