Женева, Швейцария — 5 октября 2026 года — Сегодня офис Джастина Сана объявил имена новых лауреатов премии Джастина Сана: независимого исследователя Вутера ван Доорна, аспиранта-математика Цюаньюя Тана и исследователя в области математики Яньяна Ли из Юго-Восточного университета в Нанкине. Они отмечены за вклад в решение шести проблем Эрдёша.
Вутер ван Доорн — независимый специалист по теории чисел. Он начал заниматься математическими исследованиями ещё в 2010 году, будучи студентом бакалавриата, и продолжил сотрудничать с коллегами и публиковать работы после ухода из академической среды, получив степень магистра. Цюаньюй Тан (汤泉宇) — аспирант-математик Университета науки и технологий Китая. Его исследования охватывают теорию чисел, комбинаторику и применение ИИ для математических открытий.
Задачи Эрдёша — это математические вопросы о числах, закономерностях и других математических структурах, поставленные или популяризированные венгерским математиком Полом Эрдёшем. Часто простые по формулировке, но сложные для решения, они помогли сформировать исследования в теории чисел и комбинаторике; некоторые остаются открытыми десятилетиями. Каталог Эрдёша, составленный и поддерживаемый Томасом Блумом, математиком и научным сотрудником Королевского общества при Манчестерском университете, включает более 1200 задач.
Ван Доорн и Тан вместе с Яняном Ли из математического факультета Юго-Восточного университета в Нанкине решили задачу Эрдёша № 650, точно определив, какое количество целых чисел всегда можно сопоставить различным кратным в заданном интервале. Ван Доорн также подготовил проверяемые компьютером доказательства на языке Lean — программном обеспечении для верификации математических рассуждений — для задачи № 369 о последовательных целых числах с ограниченным набором простых множителей; задачи № 457 о том, может ли короткая последовательность идущих подряд целых чисел в совокупности содержать все простые числа из заданного диапазона; и задачи № 469 о том, дают ли обратные величины чисел особого класса, представимых в виде суммы своих делителей, конечную сумму.
Тан отдельно решил задачу № 1044, установив точную нижнюю границу длин границ областей, заданных многочленами, а также вместе с Ли участвовал в решении более широкой командой задачи № 1196, посвящённой ограничению взвешенных сумм по множествам целых чисел, в которых ни одно число не делится на другое.
Их работа над задачей № 650 наглядно показывает, как человеческое суждение и ИИ могут дополнять друг друга. ChatGPT помог разработать стратегию доказательства, а Aristotle — система ИИ для математических рассуждений — устранил пробел при формализации в Lean. Затем исследователи упростили аргументацию и написали окончательные доказательства и изложение.
«Этот опыт показал мне, как общественная обратная связь помогает точнее сформулировать исследовательский вопрос и как открытия с помощью ИИ могут объединять математическое суждение, сотрудничество и строгую проверку», — сказал Тан.
Это первые подтверждённые награждения в рамках программы: они отмечают как математические открытия, так и работу, необходимую для независимой проверки доказательств. Информация о премии Justin Sun Prize, каталоге задач и вкладе лауреатов доступна в публичном репозитории программы на GitHub.
Призы будут выплачиваться в USDT в сети TRON (TRC-20) или USDC в сети Ethereum (ERC-20) — по выбору получателя. Дополнительная информация доступна на сайте www.hejustinsun.com/prize.
Об Управлении Джастина Сана
Управление Джастина Сана поддерживает его международную деловую, благотворительную и общественную деятельность в сферах технологий, блокчейна, искусственного интеллекта, научных исследований, инвестиций, искусства и освоения космоса.
Джастин Сан — посол и бывший постоянный представитель Гренады при Всемирной торговой организации, а также основатель TRON. TRON — ведущий блокчейн для революции стейблкоинов; с момента запуска в его сети обработано операций на сумму свыше 13 триллионов долларов. На развивающихся рынках по всему миру люди используют USDT в сети TRON, чтобы получить доступ к глобальной финансовой системе.
Будучи протеже основателя Alibaba Джека Ма, Сан получил международное признание за свою деятельность в индустрии цифровых активов. В апреле 2025 года он стал героем обложки Forbes, а также неоднократно попадал в список Forbes 30 Under 30. В августе 2025 года он совершил полёт на борту миссии NS-34 компании Blue Origin и стал 712-м человеком в истории, побывавшим в космосе. Среди других его интересов — технологии, инвестиции, благотворительность, искусство, игры и освоение космоса.
О премии Justin Sun Prize
Премия Justin Sun Prize — это академическая инициатива, учреждённая Джастином Саном для поддержки прогресса в математике, формальной верификации и научных открытиях с помощью ИИ. Премия децентрализована и основана на принципе, согласно которому математические работы следует оценивать по силе, строгости и проверяемости самих доказательств, а не по престижу или репутации их авторов.
Джастин Сан учредил премию, названную его именем, как долгосрочное обязательство возвращать математике богатство, созданное благодаря математике и технологиям. Её наследие призвано определяться совокупностью отмеченных ею работ и лауреатами, чьи открытия выдержат испытание временем. Премия связывает чётко сформулированные математические задачи с доказательствами, проверяемыми машинами. Её руководящие принципы — открытость, общественная польза и доступ к открытому исходному коду.