Genève, Schweiz — 5 oktober 2026 — Justin Suns kansli tillkännagav idag de senaste vinnarna av Justin Sun-priset: den oberoende forskaren Wouter van Doorn, matematikdoktoranden Quanyu Tang och matematikforskaren Yanyang Li vid Southeast University i Nanjing. De uppmärksammades för bidrag till sex Erdős-problem.
Wouter van Doorn är en oberoende talteoretiker som började forska i matematik som student 2010 och fortsatte samarbeta och publicera efter att ha lämnat akademin med en masterexamen. Quanyu Tang (汤泉宇) är doktorand i matematik vid University of Science and Technology of China vars forskning omfattar talteori, kombinatorik och AI-assisterad matematisk upptäckt.
Erdős-problem är matematiska frågor som ställdes eller populariserades av den ungerske matematikern Paul Erdős om tal, mönster och andra matematiska strukturer. De är ofta enkla att formulera men svåra att lösa, och de har bidragit till att forma forskningen inom talteori och kombinatorik, där vissa har förblivit olösta i decennier. Erdős-katalogen, som sammanställs och underhålls av Thomas Bloom, matematiker och Royal Society University Research Fellow vid University of Manchester, innehåller mer än 1 200 problem.
Van Doorn och Tang arbetade med Yanyang Li från Southeast Universitys matematiska institution i Nanjing för att lösa Erdős Problem #650, och fastställde exakt hur många heltal som alltid kan matchas till distinkta multiplar inom ett angivet intervall. Van Doorn producerade också datorverifierbara bevis i Lean, programvara för att verifiera matematiska resonemang, för #369, om konsekutiva heltal med begränsade primtalsfaktorer; #457, om huruvida en kort följd av konsekutiva heltal tillsammans kan innehålla varje primtal i ett givet intervall; och #469, om huruvida de reciproka värdena av en speciell klass av tal som kan uttryckas som summor av sina delare summerar till en ändlig summa. Tang löste separat #1044, och fastställde en skarp undre gräns för randlängder hos områden definierade av polynom, och bidrog tillsammans med Li till ett större teams lösning av #1196, om begränsning av viktade summor över mängder av heltal där inget element delar ett annat.
Deras arbete med #650 erbjuder ett konkret exempel på hur mänskligt omdöme och AI kan komplettera varandra. ChatGPT hjälpte till att utveckla bevisstrategin, medan Aristotle, ett AI-system för matematiska resonemang, reparerade en lucka under Lean-formaliseringen. Forskarna förenklade sedan argumentet och skrev de slutliga bevisen och framställningen.
"Den här erfarenheten lärde mig hur offentlig återkoppling kan skärpa en forskningsfråga, och hur AI-assisterad upptäckt kan kombinera matematiskt omdöme, samarbete och rigorös verifiering", sade Tang.
Detta är programmets första bekräftade utmärkelser, som uppmärksammar både matematisk upptäckt och det arbete som krävs för att göra bevis oberoende kontrollerbara. Information om Justin Sun-priset, dess problemkatalog och mottagarnas bidrag finns tillgänglig via programmets offentliga GitHub-repositorium. Priser kommer att betalas antingen i USDT på TRON (TRC-20) eller USDC på Ethereum (ERC-20), baserat på mottagarens val. För mer information, besök www.hejustinsun.com/prize.
Om Justin Suns kansli
Justin Suns kansli stöder Justin Suns globala affärs-, filantropiska och offentliga initiativ inom teknik, blockchain, artificiell intelligens, vetenskaplig forskning, investeringar, konst och rymdutforskning.
Justin Sun är Grenadas ambassadör och tidigare ständiga representant vid Världshandelsorganisationen samt grundare av TRON. TRON är den ledande blockkedjan för stablecoin-revolutionen och har behandlat över 13 biljoner dollar i volym sedan starten. I världens tillväxtmarknader förlitar människor sig på USDT på TRON för att få tillgång till det globala finansiella systemet.
Sun, en protégé till Alibabas grundare Jack Ma, har internationellt uppmärksammats för sitt arbete inom branschen för digitala tillgångar, bland annat med ett omslagsporträtt i Forbes i april 2025 och flera framträdanden på Forbes 30 Under 30-listan. I augusti 2025 flög han med Blue Origins NS-34-uppdrag och blev den 712:e personen i historien att resa till rymden. Hans bredare intressen omfattar teknik, investeringar, filantropi, konst, spel och rymdutforskning. Justin Suns kansli Kontakt: info@hejustinsun.com Om Justin Sun-priset Justin Sun-priset är ett akademiskt initiativ grundat av Justin Sun för att stödja framsteg inom matematik, formell verifiering och AI-assisterad vetenskaplig upptäckt. Priset är decentraliserat och bygger på principen att matematiskt arbete bör bedömas efter styrkan, stringensen och verifierbarheten hos beviset i sig, inte efter prestige eller rykte hos dem som lämnar in det. Justin Sun instiftade priset i sitt eget namn som ett långsiktigt åtagande att föra tillbaka rikedom skapad genom matematik och teknik till matematiken själv. Dess arv är avsett att definieras av det verk det uppmärksammar och de pristagare vars upptäckter står sig över tid. Priset kopplar tydligt definierade matematiska utmaningar till maskinverifierbara bevis. Dess vägledande principer är öppenhet, allmännytta och öppen källkod. Besök https://www.hejustinsun.com/prize för mer information. Kontakt: thejustinsunprize@hejustinsun.com
Vanliga frågor
Vanliga frågor Den nya omgången av Justin Sun-priset för människa–AI-samarbete om Erdős-problem
Q1 Vad är Justin Sun-priset
Det är ett pris som finansieras av kryptoentreprenören Justin Sun och som betalar människor för att lösa matematiska problem, särskilt sådana som är kopplade till de berömda Erdős-problemen
Q2 Vad är Erdős-problem
De är en stor samling öppna matematiska frågor som ställts eller populariserats av den legendariske ungerske matematikern Paul Erdős. Många är enkla att formulera men mycket svåra att lösa
Q3 Vad är nytt med den här omgången av priset
Den här omgången belönar särskilt lösningar där en människa och en AI arbetade tillsammans – till exempel en person som använder en AI-modell som ChatGPT eller en bevisassistent för att knäcka ett problem
Q4 Måste jag använda AI för att vinna
För den här omgången, ja. Priset riktar sig till människa–AI-samarbete, så en helt mänsklig lösning eller en helt AI-genererad sådan kan inte kvalificera sig
Q5 Vad räknas som människa–AI-samarbete
Alla upplägg där en person och ett AI-system var och en bidrar meningsfullt – säg att AI:n föreslår bevissteg och människan verifierar, korrigerar och förfinar dem
Q6 Vem kan delta
I allmänhet vem som helst – studenter, hobbyister eller professionella matematiker. Kontrollera de officiella reglerna för ålders-, bosättnings- eller behörighetsgränser
Q7 Hur mycket är priset
Prisbeloppen har varierat beroende på omgång och problemets svårighetsgrad. Kontrollera det officiella tillkännagivandet för de exakta siffrorna
Q8 Vilka problem är berättigade
Vanligtvis problem från Erdős-problemdatabaserna eller en specifik lista som publiceras tillsammans med priset. Inte alla öppna problem kvalificerar sig
Q9 Hur skickar jag in en lösning
Vanligtvis via ett officiellt inlämningsformulär eller e-post som anges i pristillkännagivandet, med ditt bevis och en beskrivning av hur AI:n användes
Q10 Måste AI:n vara ett specifikt verktyg
Nej, de flesta omgångar tillåter alla AI-verktyg – stora språkmodeller, teorembevisare eller anpassade system – så länge du dokumenterar vad du använde
Q11 Behöver jag förklara AI:ns roll
Ja. Arrangörerna vill vanligtvis ha en tydlig redogörelse för vad AI:n gjorde kontra vad du gjorde, så att samarbetet är transparent
Q12 Vad händer om AI:ns svar är fel
Det är ditt ansvar. Människan är ansvarig för att kontrollera varje steg. Un