Новый раунд премии Джастина Сана посвящен сотрудничеству человека и ИИ в решении задач Эрдеша

Вутер ван Доорн — независимый исследователь в области теории чисел, который начал заниматься математикой ещё в 2010 году, будучи студентом бакалавриата, и продолжил сотрудничество и публикации после ухода из академической среды по окончании магистратуры. Цюанью Тан (汤泉宇) — аспирант по математике Китайского университета науки и технологий, чьи исследования охватывают теорию чисел, комбинаторику и математические открытия с помощью искусственного интеллекта.

Задачи Эрдеша — это математические вопросы, сформулированные или популяризованные венгерским математиком Полом Эрдешем, касающиеся чисел, закономерностей и других математических структур. Часто простые по формулировке, но сложные для решения, они помогли сформировать направления исследований в теории чисел и комбинаторике, причём некоторые из них остаются нерешёнными на протяжении десятилетий. Каталог Эрдеша, составленный и поддерживаемый Томасом Блумом, математиком и научным сотрудником Королевского общества при Манчестерском университете, насчитывает более 1200 задач.

Ван Доорн и Тан совместно с Яньянь Ли из математического факультета Юго-Восточного университета в Нанкине решили задачу Эрдеша № 650, точно определив, сколько целых чисел всегда можно сопоставить с различными кратными числами в заданном интервале. Ван Доорн также подготовил доказательства, проверяемые с помощью компьютера, в программе Lean — программном обеспечении для верификации математических рассуждений — для задачи № 369, касающейся последовательных целых чисел с ограниченными простыми делителями; задачи № 457, посвященной тому, может ли короткая последовательность целых чисел в совокупности содержать все простые числа в заданном диапазоне; и задачи № 469, касающейся того, даёт ли сумма обратных значений особого класса чисел, выражаемых в виде сумм их делителей, конечный результат.

Тан самостоятельно решил задачу № 1044, установив точный нижний предел для длины границ областей, определённых многочленами, а также вместе с Ли участвовал в работе более широкой команды над решением задачи № 1196, ограничивающей взвешенные суммы над множествами целых чисел, в которых ни одно число не делит другое.

Их работа над задачей № 650 представляет собой конкретный пример того, как человеческое суждение и ИИ могут дополнять друг друга. ChatGPT помог разработать стратегию доказательства, а Aristotle — система искусственного интеллекта для математического рассуждения — устранил пробел во время формализации по методу Lean. Затем исследователи упростили аргументацию и написали окончательные доказательства и изложение.

«Этот опыт научил меня тому, как отзывы общественности могут обострить исследовательский вопрос, и как открытия, основанные на ИИ, могут сочетать в себе математическое суждение, совместную работу и строгое верифицирование», — сказал Тан.

Это первые подтвержденные награды программы, присуждаемые как за математические открытия, так и за работу, необходимую для обеспечения независимой проверки доказательств. Информация о премии Джастина Сана, каталоге задач и вкладах лауреатов доступна в общедоступном репозитории программы на GitHub.

Премии будут выплачены либо в USDT на TRON (TRC-20), либо в USDC на Ethereum (ERC-20) по выбору лауреата. Для получения дополнительной информации посетите сайт www.hejustinsun.com/prize.

Об «Офисе Джастина Сана»

«Офис Джастина Сана» поддерживает глобальные бизнес-проекты, благотворительные и общественные инициативы Джастина Сана в таких сферах, как технологии, блокчейн, искусственный интеллект, научные исследования, инвестиции, искусство и освоение космоса.

Джастин Сан является послом и бывшим постоянным представителем Гренады при Всемирной торговой организации, а также основателем TRON. TRON — ведущая блокчейн-сеть, стоящая у истоков революции в сфере стейблкоинов, объем транзакций которой с момента создания превысил 13 триллионов долларов. На развивающихся рынках мира люди полагаются на USDT на TRON для доступа к глобальной финансовой системе.

Будучи протеже основателя Alibaba Джека Ма, Сан получил международное признание за свою работу в сфере цифровых активов, в том числе появился на обложке журнала Forbes в апреле 2025 года и неоднократно входил в список «30 до 30» журнала Forbes. В августе 2025 года он полетел на борту корабля NS-34 компании Blue Origin, став 712-м человеком в истории, побывавшим в космосе. Его интересы охватывают технологии, инвестиции, благотворительность, искусство, игры и освоение космоса.

Контакты офиса Джастина Суна:

info@hejustinsun.com

О премии Джастина Суна

Премия Джастина Сана — это академическая инициатива, учреждённая Джастином Саном для поддержки достижений в области математики, формальной верификации и научных открытий с помощью искусственного интеллекта. Премия является децентрализованной и основана на принципе, согласно которому математические работы должны оцениваться по силе, строгости и проверяемости самого доказательства, а не по престижу или репутации тех, кто их представляет.

Джастин Сан учредил премию под своим именем в качестве долгосрочного обязательства вернуть богатство, созданное благодаря математике и технологиям, обратно самой математике. Наследие премии призвано определяться совокупностью работ, которые она отмечает, и лауреатами, чьи открытия выдерживают испытание временем. Премия связывает четко определенные математические задачи с доказательствами, поддающимися машинной верификации. Её руководящими принципами являются открытость, общественная польза и доступ к открытым источникам.

Посетите сайт https://www.hejustinsun.com/prize для получения дополнительной информации.

Контакты:

thejustinsunprize@hejustinsun.com

_________________________________________________________________________

Bitcoin.com не несет никакой ответственности и не будет нести ответственности, ни прямо, ни косвенно, за любые убытки, ущерб, претензии, затраты или расходы любого рода, будь то фактические, предполагаемые или косвенные, возникающие в результате или в связи с использованием или доверием к любому контенту, товарам или услугам, упомянутым в данной статье. Любое доверие к такой информации читатель принимает исключительно на свой страх и риск.