Женева, Швейцария — 5 октомври 2026 г. — Службата на Джъстин Сън днес обяви най-новите носители на наградата „Джъстин Сън“: независимият изследовател Ваутер ван Доорн, докторантът по математика Цюаню Тан и изследователката по математика Янян Ли от Югоизточния университет в Нанкин. Те бяха отличени за приноси към шест задачи на Ердьош.
Ваутер ван Доорн е независим теоретик на числата, който започва да изследва математика като студент през 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 г. и многократни участия в списъка Forbes 30 Under 30. През август 2025 г. той летя на мисията NS-34 на Blue Origin, ставайки 712-ият човек в историята, пътувал в космоса. По-широките му интереси включват технологии, инвестиции, филантропия, изкуство, игри и космически изследвания. Контакт на Службата на Джъстин Сън: info@hejustinsun.com Относно наградата „Джъстин Сън“ Наградата „Джъстин Сън“ е академична инициатива, основана от Джъстин Сън, за да подкрепя напредъка в математиката, формалната верификация и научните открития с помощта на ИИ. Наградата е децентрализирана и е изградена на принципа, че математическата работа трябва да бъде оценявана по силата, строгостта и проверимостта на самото доказателство, а не по престижа или репутацията на тези, които го подават. Джъстин Сън учреди наградата на свое име като дългосрочен ангажимент да върне богатството, създадено чрез математика и технологии, обратно към самата математика. Наследството ѝ трябва да бъде определено от корпуса работа, която признава, и от лауреатите, чиито открития издържат проверката на времето. Наградата свързва ясно определени математически предизвикателства с машинно проверимо доказателство. Нейните ръководни принципи са откритост, обществена полза и достъп с отворен код. Посетете https://www.hejustinsun.com/prize за повече информация. Контакт: thejustinsunprize@hejustinsun.com
Често задавани въпроси
ЧЗВ Новият кръг на наградата „Джъстин Сън“ за сътрудничество между човек и ИИ по задачи на Ердьош
В1 Какво е наградата „Джъстин Сън“
Това е награда, финансирана от крипто предприемача Джъстин Сън, която плаща на хора за решаване на математически задачи, особено такива, свързани с известните задачи на Ердьош
В2 Какво представляват задачите на Ердьош
Това е голяма колекция от отворени математически въпроси, поставени или популяризирани от легендарния унгарски математик Пол Ердьош. Много от тях са лесни за формулиране, но много трудни за решаване
В3 Какво е новото в този кръг на наградата
Този кръг специално награждава решения, при които човек и ИИ са работили заедно — например човек, използващ модел на ИИ като ChatGPT или асистент за доказателства, за да реши задача
В4 Трябва ли да използвам ИИ, за да спечеля
За този кръг — да. Наградата е насочена към сътрудничество между човек и ИИ, така че чисто човешко решение или чисто генерирано от ИИ може да не се квалифицира
В5 Какво се счита за сътрудничество между човек и ИИ
Всяка конфигурация, при която човек и система с ИИ допринасят значимо — да речем, ИИ предлага стъпки от доказателството, а човекът ги проверява, коригира и усъвършенства
В6 Кой може да участва
Обикновено всеки — студенти, любители или професионални математици. Проверете официалните правила за ограничения относно възраст, местожителство или допустимост
В7 Какъв е размерът на наградата
Размерите на наградата са варирали според кръга и трудността на задачата. Проверете официалното обявление за точните цифри
В8 Кои задачи са допустими
Обикновено задачи от базите данни със задачи на Ердьош или конкретен списък, публикуван с наградата. Не всяка отворена задача се квалифицира
В9 Как да подам решение
Обикновено чрез официален формуляр за подаване или имейл, посочен в обявлението на наградата, с вашето доказателство и описание как е бил използван ИИ
В10 Трябва ли ИИ да бъде конкретен инструмент
Не, повечето кръгове позволяват всеки инструмент с ИИ — големи езикови модели, доказатели на теореми или персонализирани системи — стига да документирате какво сте използвали
В11 Трябва ли да обясня ролята на ИИ
Да. Организаторите обикновено искат ясно описание какво е направил ИИ спрямо това, което сте направили вие, за да бъде сътрудничеството прозрачно
В12 Какво става, ако отговорът на ИИ е грешен
Това е ваша отговорност. Човекът е отговорен да провери всяка стъпка. Un