Ženeva, Švýcarsko — 5. října 2026 — Úřad Justina Suna dnes oznámil nejnovější vítěze Ceny Justina Suna: nezávislého výzkumníka Woutera van Doorna, doktoranda matematiky Quanyu Tanga a matematického výzkumníka Yanyanga Li z Jihovýchodní univerzity v Nankingu. Byli oceněni za přínos k šesti Erdősovým problémům.
Wouter van Doorn je nezávislý teoretik čísel, který začal zkoumat matematiku jako vysokoškolský student v roce 2010 a po odchodu z akademické sféry s magisterským titulem pokračoval ve spolupráci a publikování. Quanyu Tang (汤泉宇) je doktorand matematiky na Univerzitě vědy a technologie v Číně, jehož výzkum zahrnuje teorii čísel, kombinatoriku a matematické objevy s asistencí AI.
Erdősovy problémy jsou matematické otázky, které položil nebo zpopularizoval maďarský matematik Paul Erdős o číslech, vzorcích a dalších matematických strukturách. Často se snadno formulují, ale těžko řeší, a pomohly utvářet výzkum v teorii čísel a kombinatorice, přičemž některé zůstávají otevřené po desetiletí. Erdősův katalog, který sestavuje a spravuje Thomas Bloom, matematik a univerzitní výzkumný pracovník Královské společnosti na Manchesterské univerzitě, obsahuje více než 1 200 problémů.
Van Doorn a Tang spolupracovali s Yanyangem Li z Fakulty matematiky Jihovýchodní univerzity v Nankingu na vyřešení Erdősova problému #650, přičemž určili, kolik celých čísel lze vždy přiřadit k různým násobkům v určeném intervalu. Van Doorn také vytvořil počítačově ověřitelné důkazy v Lean, softwaru pro ověřování matematického uvažování, pro #369, týkající se po sobě jdoucích celých čísel s omezenými prvočíselnými faktory; #457, o tom, zda krátká posloupnost po sobě jdoucích celých čísel může kolektivně obsahovat každé prvočíslo v daném rozsahu; a #469, o tom, zda se převrácené hodnoty speciální třídy čísel vyjádřitelných jako součty jejich dělitelů sčítají do konečného součtu. Tang samostatně vyřešil #1044, čímž stanovil ostrý dolní limit pro délky hranic oblastí definovaných polynomy, a společně s Li přispěl k řešení #1196 širším týmem, které ohraničuje vážené součty přes množiny celých čísel, v nichž žádný člen nedělí jiný.
Jejich práce na #650 nabízí konkrétní příklad toho, jak se lidský úsudek a AI mohou vzájemně doplňovat. ChatGPT pomohl vyvinout strategii důkazu, zatímco Aristotle, systém AI pro matematické uvažování, opravil mezeru během formalizace v Lean. Výzkumníci poté argument zjednodušili a napsali konečné důkazy a výklad.
„Tato zkušenost mě naučila, jak veřejná zpětná vazba může vyostřit výzkumnou otázku a jak objevování s asistencí AI může spojit matematický úsudek, spolupráci a rigorózní ověřování,“ řekl Tang.
Toto jsou první potvrzená ocenění programu, která uznávají jak matematický objev, tak práci potřebnou k tomu, aby byly důkazy nezávisle ověřitelné. Informace o Ceně Justina Suna, jejím katalogu problémů a příspěvcích příjemců jsou k dispozici prostřednictvím veřejného repozitáře programu na GitHubu. Ceny budou vyplaceny buď v USDT na TRON (TRC-20), nebo v USDC na Ethereu (ERC-20), podle volby příjemce. Pro více informací navštivte www.hejustinsun.com/prize.
O Úřadu Justina Suna
Úřad Justina Suna podporuje globální obchodní, filantropické a veřejné iniciativy Justina Suna v oblasti technologií, blockchainu, umělé inteligence, vědeckého výzkumu, investic, umění a průzkumu vesmíru.
Justin Sun je velvyslancem a bývalým stálým zástupcem Grenady při Světové obchodní organizaci a zakladatelem TRONu. TRON je přední blockchain pro revoluci stablecoinů, který od svého vzniku zpracoval více než 13 bilionů dolarů v objemu. Na rozvíjejících se trzích světa se lidé spoléhají na USDT na TRONu pro přístup ke globálnímu finančnímu systému.
Sun, chráněnec zakladatele Alibaby Jacka Maa, byl mezinárodně uznán za svou práci v odvětví digitálních aktiv, včetně profilu na obálce Forbesu v dubnu 2025 a několika zařazení na seznam Forbes 30 Under 30. V srpnu 2025 letěl na misi NS-34 Blue Origin a stal se 712. člověkem v historii, který cestoval do vesmíru. Jeho širší zájmy zahrnují technologie, investice, filantropii, umění, hraní her a průzkum vesmíru. Kontakt Úřadu Justina Suna: info@hejustinsun.com O Ceně Justina Suna Cena Justina Suna je akademická iniciativa založená Justinem Sunem na podporu pokroku v matematice, formálním ověřování a vědeckém objevování s asistencí AI. Cena je decentralizovaná a postavená na principu, že matematická práce by měla být posuzována podle síly, rigoróznosti a ověřitelnosti samotného důkazu, nikoli podle prestiže nebo reputace těch, kdo jej předkládají. Justin Sun založil cenu pod svým vlastním jménem jako dlouhodobý závazek vrátit bohatství vytvořené prostřednictvím matematiky a technologií zpět do matematiky samotné. Její odkaz má být definován souborem prací, které uznává, a laureáty, jejichž objevy obstojí ve zkoušce času. Cena spojuje jasně definované matematické výzvy se strojově ověřitelným důkazem. Jejími vůdčími principy jsou otevřenost, veřejný prospěch a open-source přístup. Pro více informací navštivte https://www.hejustinsun.com/prize. Kontakt: thejustinsunprize@hejustinsun.com
Často kladené otázky
FAQs Nové kolo Ceny Justina Suna za spolupráci člověka a AI na Erdősových problémech
Q1 Co je Cena Justina Suna
Je to ocenění financované krypto podnikatelem Justinem Sunem, které platí lidem za řešení matematických problémů, zejména těch spojených s slavnými Erdősovými problémy
Q2 Co jsou Erdősovy problémy
Jsou to velká sbírka otevřených matematických otázek, které položil nebo zpopularizoval legendární maďarský matematik Paul Erdős Mnohé se snadno formulují, ale velmi těžko řeší
Q3 Co je nového na tomto kole ceny
Toto kolo konkrétně odměňuje řešení, na nichž spolupracoval člověk a AI například člověk používající model AI jako ChatGPT nebo nástroj pro dokazování k vyřešení problému
Q4 Musím k vítězství použít AI
Pro toto kolo ano Cena je zaměřena na spolupráci člověka a AI, takže čistě lidské řešení nebo čistě AI generované řešení nemusí kvalifikovat
Q5 Co se počítá jako spolupráce člověka a AI
Jakékoli uspořádání, kde člověk a systém AI každý smysluplně přispívají řekněme AI navrhuje kroky důkazu a člověk je ověřuje opravuje a zpřesňuje
Q6 Kdo se může zúčastnit
Obecně kdokoli studenti hobbyisté nebo profesionální matematici Zkontrolujte oficiální pravidla pro věkové pobytové nebo kvalifikační limity
Q7 Jak vysoká je cena
Částky cen se lišily podle kola a obtížnosti problému Zkontrolujte oficiální oznámení pro přesné částky
Q8 Které problémy jsou způsobilé
Obvykle problémy z databází Erdősových problémů nebo konkrétní seznam zveřejněný s cenou Ne každý otevřený problém kvalifikuje
Q9 Jak mám odeslat řešení
Obvykle prostřednictvím oficiálního formuláře pro odeslání nebo e-mailu uvedeného v oznámení o ceně s vaším důkazem a popisem toho, jak byla AI použita
Q10 Musí být AI konkrétní nástroj
Ne většina kol povoluje jakýkoli nástroj AI velké jazykové modely dokazovací nástroje nebo vlastní systémy pokud dokumentujete, co jste použili
Q11 Musím vysvětlit roli AI
Ano Organizátoři obvykle chtějí jasný popis toho, co udělala AI versus co jste udělali vy, aby byla spolupráce transparentní
Q12 Co když je odpověď AI špatná
To je na vás Člověk je odpovědný za kontrolu každého kroku Un