Genf, Svájc — 2026. október 5. — Justin Sun Hivatala ma bejelentette a Justin Sun-díj legújabb nyerteseit: Wouter van Doorn független kutatót, Quanyu Tang matematika PhD-hallgatót és Yanyang Li matematikakutatót a nankingi Southeast Universityről. Őket hat Erdős-problémához való hozzájárulásukért ismerték el.
Wouter van Doorn független számelmélet-kutató, aki 2010-ben kezdte a matematikai kutatást egyetemi hallgatóként, és mesterdiploma megszerzése után, az akadémiai pályát elhagyva is folytatta az együttműködést és a publikálást. Quanyu Tang (汤泉宇) a University of Science and Technology of China matematika PhD-hallgatója, akinek kutatása a számelméletre, a kombinatorikára és az AI-támogatott matematikai felfedezésre terjed ki.
Az Erdős-problémák olyan matematikai kérdések, amelyeket a magyar matematikus, Paul Erdős tett fel vagy népszerűsített számokról, mintázatokról és más matematikai struktúrákról. Gyakran egyszerű megfogalmazni őket, de nehéz megoldani, és segítettek alakítani a számelmélet és a kombinatorika kutatását, néhányuk pedig évtizedekig megoldatlan maradt. Az Erdős-katalógus, amelyet Thomas Bloom, a University of Manchester matematikusa és a Royal Society University Research Fellow-ja állított össze és tart karban, több mint 1200 problémát tartalmaz.
Van Doorn és Tang Yanyang Livel, a nankingi Southeast University School of Mathematics munkatársával együtt dolgozott az Erdős 650. probléma megoldásán, meghatározva pontosan, hogy hány egész szám párosítható mindig különböző többszörösökkel egy meghatározott intervallumon belül. Van Doorn emellett számítógéppel ellenőrizhető bizonyításokat is készített Leanben, a matematikai érvelés ellenőrzésére szolgáló szoftverben, a 369. problémához, amely korlátozott prímtényezőkkel rendelkező egymást követő egész számokról szól; a 457. problémához, arról, hogy egy rövid, egymást követő egész számokból álló sorozat együttesen tartalmazhatja-e egy adott tartomány minden prímjét; és a 469. problémához, arról, hogy egy speciális, osztóik összegeként kifejezhető számosztály reciprokainak összege véges összeget ad-e. Tang külön megoldotta az 1044. problémát, megállapítva a polinomokkal meghatározott régiók határhosszaira vonatkozó éles alsó korlátot, és Li mellett hozzájárult egy szélesebb csapat 1196. probléma megoldásához, amely olyan egész számhalmazok feletti súlyozott összegeket korlátoz, amelyekben egyetlen tag sem osztója egy másiknak.
A 650. problémán végzett munkájuk konkrét példát kínál arra, hogyan egészítheti ki egymást az emberi ítélőképesség és az AI. A ChatGPT segített kidolgozni a bizonyítási stratégiát, míg az Aristotle, a matematikai érvelésre szolgáló AI-rendszer, kijavított egy hiányosságot a Lean-formalizálás során. A kutatók ezután leegyszerűsítették az érvelést, és megírták a végső bizonyításokat és kifejtést.
„Ez a tapasztalat megtanított arra, hogyan élesítheti a nyilvános visszajelzés a kutatási kérdést, és hogyan ötvözheti az AI-támogatott felfedezés a matematikai ítélőképességet, az együttműködést és a szigorú ellenőrzést” – mondta Tang.
Ezek a program első megerősített díjai, amelyek elismerik mind a matematikai felfedezést, mind a bizonyítások független ellenőrizhetőségéhez szükséges munkát. A Justin Sun-díjról, annak probléma-katalógusáról és a díjazottak hozzájárulásairól szóló információ a program nyilvános GitHub-tárhelyén érhető el. A díjakat a kedvezményezett választása alapján USDT-ben a TRON-on (TRC-20) vagy USDC-ben az Ethereumon (ERC-20) fizetik ki. További információért kérjük, látogasson el a www.hejustinsun.com/prize oldalra.
A Justin Sun Hivataláról
Justin Sun Hivatala támogatja Justin Sun globális üzleti, filantrópiai és közéleti kezdeményezéseit a technológia, a blokklánc, a mesterséges intelligencia, a tudományos kutatás, a befektetés, a művészet és az űrkutatás területén.
Justin Sun Grenada nagykövete és korábbi állandó képviselője a Kereskedelmi Világszervezetnél, valamint a TRON alapítója. A TRON a stablecoin-forradalom vezető blokklánca, amely létrejötte óta több mint 13 billió dollár volumenű tranzakciót dolgozott fel. A világ feltörekvő piacain az emberek a TRON-on lévő USDT-re támaszkodnak, hogy hozzáférjenek a globális pénzügyi rendszerhez.
Sun, az Alibaba alapítójának, Jack Ma-nak a pártfogoltja, nemzetközileg elismert a digitális eszközök iparában végzett munkájáért, beleértve egy 2025 áprilisi Forbes címlap-profilt és több szereplést a Forbes 30 Under 30 listáján. 2025 augusztusában a Blue Origin NS-34 küldetésén repült, ezzel a történelem 712. embere lett, aki eljutott az űrbe. Szélesebb érdeklődési köre kiterjed a technológiára, a befektetésre, a filantrópiára, a művészetre, a játékra és az űrkutatásra. Justin Sun Hivatala Kapcsolat: info@hejustinsun.com A Justin Sun-díjról A Justin Sun-díj egy Justin Sun által alapított tudományos kezdeményezés, amely a matematika, a formális verifikáció és az AI-támogatott tudományos felfedezés előrehaladását támogatja. A díj decentralizált, és azon az elven alapul, hogy a matematikai munkát magának a bizonyításnak az ereje, szigora és ellenőrizhetősége alapján kell megítélni, nem pedig a benyújtók presztízse vagy hírneve alapján. Justin Sun a saját nevében alapította a díjat mint hosszú távú elkötelezettséget arra, hogy a matematika és a technológia révén létrehozott vagyont visszaadja magának a matematikának. Örökségét az általa elismert munkásság és azon díjazottak révén kívánja meghatározni, akiknek felfedezései kiállják az idő próbáját. A díj világosan meghatározott matematikai kihívásokat kapcsol össze géppel ellenőrizhető bizonyítással. Vezérelvei a nyitottság, a közjó és a nyílt forráskódú hozzáférés. További információért látogasson el a https://www.hejustinsun.com/prize oldalra. Kapcsolat: thejustinsunprize@hejustinsun.com
Gyakran Ismételt Kérdések
GYIK A Justin Sun-díj új fordulója az Erdős-problémákon való ember–AI együttműködésért
1. kérdés Mi a Justin Sun-díj
Ez egy kriptovállalkozó, Justin Sun által finanszírozott díj, amely matematikai problémák megoldásáért fizet az embereknek, különösen a híres Erdős-problémákhoz kapcsolódókért
2. kérdés Mik az Erdős-problémák
Ezek a legendás magyar matematikus, Paul Erdős által felvetett vagy népszerűsített nyitott matematikai kérdések nagy gyűjteménye. Sok közülük egyszerűen megfogalmazható, de nagyon nehéz megoldani
3. kérdés Mi az új a díj e fordulójában
Ez a forduló kifejezetten azokat a megoldásokat jutalmazza, amelyekben ember és AI együtt dolgozott – például egy személy egy ChatGPT-hez hasonló AI-modellt vagy egy bizonyítási asszisztenst használt egy probléma megoldásához
4. kérdés Kell AI-t használnom a nyeréshez
Ebben a fordulóban igen. A díj az ember–AI együttműködésre irányul, így egy tisztán emberi megoldás vagy egy tisztán AI által generált megoldás nem biztos, hogy kvalifikál
5. kérdés Mi számít ember–AI együttműködésnek
Bármilyen felállás, amelyben egy személy és egy AI-rendszer egyaránt érdemben hozzájárul – mondjuk az AI bizonyítási lépéseket javasol, az ember pedig ellenőrzi, kijavítja és finomítja azokat
6. kérdés Ki nevezhet be
Általában bárki – diákok, hobbi matematikusok vagy hivatásos matematikusok. Ellenőrizze a hivatalos szabályokat életkorra, tartózkodási helyre vagy jogosultsági korlátokra vonatkozóan
7. kérdés Mennyi a díj
A díjösszegek fordulónként és a probléma nehézsége szerint változtak. A pontos összegekért ellenőrizze a hivatalos bejelentést
8. kérdés Mely problémák jogosultak
Általában az Erdős-probléma-adatbázisokból származó problémák vagy a díjjal együtt közzétett konkrét lista. Nem minden nyitott probléma kvalifikál
9. kérdés Hogyan nyújthatok be megoldást
Általában a díjbejelentésben szereplő hivatalos benyújtási űrlapon vagy e-mailben, a bizonyításával és az AI használatának leírásával
10. kérdés Az AI-nak egy konkrét eszköznek kell lennie
Nem, a legtöbb forduló bármilyen AI-eszközt megenged – nagy nyelvi modelleket, tételbizonyítókat vagy egyedi rendszereket –, amíg dokumentálja, mit használt
11. kérdés El kell magyaráznom az AI szerepét
Igen. A szervezők általában világos beszámolót kérnek arról, hogy mit tett az AI, szemben azzal, amit Ön tett, hogy az együttműködés átlátható legyen
12. kérdés Mi van, ha az AI válasza hibás
Az az Ön felelőssége. Az ember felelős minden lépés ellenőrzéséért. Un