Новий раунд премії Джастіна Сана відзначає співпрацю людей та штучного інтелекту у вирішенні задач Ердеша

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

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

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

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

Їхня робота над задачею № 650 є конкретним прикладом того, як людське судження та штучний інтелект можуть доповнювати одне одного. ChatGPT допоміг розробити стратегію доведення, тоді як Aristotle — система штучного інтелекту для математичного міркування — усунула прогалину під час формалізації за методом Ліна. Потім дослідники спростили аргументацію та написали остаточні доведення й виклад.

«Цей досвід навчив мене, як відгуки громадськості можуть уточнити дослідницьке питання, і як відкриття за допомогою ШІ можуть поєднувати математичне судження, співпрацю та ретельну верифікацію», — сказав Тан.

Це перші підтверджені нагороди програми, що відзначають як математичні відкриття, так і роботу, необхідну для того, щоб докази можна було перевірити незалежно. Інформація про премію Джастіна Сана, каталог задач та внески лауреатів доступна у публічному репозиторії програми на 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 не несе жодної відповідальності та не буде нести відповідальності, прямо чи опосередковано, за будь-які збитки, шкоду, претензії, витрати чи видатки будь-якого роду, фактичні, передбачувані чи наслідкові, що виникають у зв’язку з використанням або покладанням на будь-який контент, товари чи послуги, згадані в цій статті. Довіра до такої інформації залишається виключно на власний ризик читача.