Genève, Sveits — 5. oktober 2026 — Justin Suns kontor kunngjorde i dag de nyeste vinnerne av Justin Sun-prisen: den uavhengige forskeren Wouter van Doorn, matematikkstipendiaten Quanyu Tang og matematikkforskeren Yanyang Li ved Southeast University i Nanjing. De ble anerkjent for bidrag til seks Erdős-problemer.
Wouter van Doorn er en uavhengig tallteoretiker som begynte å forske på matematikk som bachelorstudent i 2010 og fortsatte å samarbeide og publisere etter å ha forlatt akademia med en mastergrad. Quanyu Tang (汤泉宇) er en matematikkstipendiat ved University of Science and Technology of China, hvis forskning dekker tallteori, kombinatorikk og AI-assistert matematisk oppdagelse.
Erdős-problemer er matematiske spørsmål stilt eller popularisert av den ungarske matematikeren Paul Erdős om tall, mønstre og andre matematiske strukturer. De er ofte enkle å formulere, men vanskelige å løse, og de har bidratt til å forme forskning innen tallteori og kombinatorikk, med noen som fortsatt er uløste i flere tiår. Erdős-katalogen, satt sammen og vedlikeholdt av Thomas Bloom, en matematiker og Royal Society University Research Fellow ved University of Manchester, inneholder mer enn 1200 problemer.
Van Doorn og Tang arbeidet med Yanyang Li fra Southeast University's School of Mathematics i Nanjing for å løse Erdős-problem #650, og fastslo nøyaktig hvor mange heltall som alltid kan matches til distinkte multipler innenfor et spesifisert intervall. Van Doorn produserte også datamaskinsjekkbare bevis i Lean, programvare for å verifisere matematisk resonnement, for #369, om påfølgende heltall med begrensede primfaktorer; #457, om en kort rekke av påfølgende heltall samlet kan inneholde hvert primtall i et gitt område; og #469, om de resiproke av en spesiell klasse tall som kan uttrykkes som summer av sine divisorer, summerer til en endelig total. Tang løste separat #1044, og etablerte en skarp nedre grense for grenselengder av områder definert av polynomer, og bidro sammen med Li til et større teams løsning av #1196, som begrenser vektede summer over sett av heltall der ingen deler en annen.
Deres arbeid med #650 gir et konkret eksempel på hvordan menneskelig vurdering og AI kan utfylle hverandre. ChatGPT hjalp til med å utvikle bevisstrategien, mens Aristotle, et AI-system for matematisk resonnement, reparerte et gap under Lean-formalisering. Forskerne forenklet deretter argumentet og skrev de endelige bevisene og fremstillingen.
"Denne erfaringen lærte meg hvordan offentlig tilbakemelding kan skjerpe et forskningsspørsmål, og hvordan AI-assistert oppdagelse kan kombinere matematisk vurdering, samarbeid og streng verifisering," sa Tang.
Dette er programmets første bekreftede tildelinger, som anerkjenner både matematisk oppdagelse og arbeidet som kreves for å gjøre bevis uavhengig sjekkbare. Informasjon om Justin Sun-prisen, dens problemkatalog og mottakernes bidrag er tilgjengelig gjennom programmets offentlige GitHub-repositorium. Priser vil bli utbetalt i enten USDT på TRON (TRC-20) eller USDC på Ethereum (ERC-20), basert på mottakerens valg. For mer informasjon, besøk www.hejustinsun.com/prize.
Om Justin Suns kontor
Justin Suns kontor støtter Justin Suns globale forretnings-, filantropiske og offentlige initiativer innen teknologi, blokkjede, kunstig intelligens, vitenskapelig forskning, investering, kunst og romutforskning.
Justin Sun er ambassadør og tidligere permanent representant for Grenada ved Verdens handelsorganisasjon og grunnleggeren av TRON. TRON er den ledende blokkjedeteknologien for stablecoin-revolusjonen, og har behandlet over 13 billioner dollar i volum siden oppstarten. I verdens nye markeder er folk avhengige av USDT på TRON for å få tilgang til det globale finanssystemet.
Som protesjé av Alibaba-grunnleggeren Jack Ma har Sun blitt internasjonalt anerkjent for sitt arbeid i digital eiendomsindustri, inkludert en Forbes-forsideprofil i april 2025 og flere opptredener på Forbes 30 Under 30-listen. I august 2025 fløy han på Blue Origins NS-34-oppdrag og ble den 712. personen i historien til å reise til verdensrommet. Hans bredere interesser inkluderer teknologi, investering, filantropi, kunst, spill og romutforskning. Justin Suns kontor Kontakt: info@hejustinsun.com Om Justin Sun-prisen Justin Sun-prisen er et akademisk initiativ grunnlagt av Justin Sun for å støtte fremskritt innen matematikk, formell verifisering og AI-assistert vitenskapelig oppdagelse. Prisen er desentralisert og bygget på prinsippet om at matematisk arbeid skal bedømmes etter styrken, strengheten og verifiserbarheten til beviset selv, ikke etter prestisjen eller omdømmet til de som sender det inn. Justin Sun etablerte prisen i sitt eget navn som en langsiktig forpliktelse til å returnere rikdom skapt gjennom matematikk og teknologi tilbake til matematikken selv. Dens arv er ment å defineres av arbeidet den anerkjenner og laureatene hvis oppdagelser tåler tidens tann. Prisen kobler klart definerte matematiske utfordringer til maskinverifiserbare bevis. Dens veiledende prinsipper er åpenhet, offentlig nytte og åpen kildekode-tilgang. Besøk https://www.hejustinsun.com/prize for mer informasjon. Kontakt: thejustinsunprize@hejustinsun.com
Ofte stilte spørsmål
FAQs Den nye runden av Justin Sun-prisen for menneske-AI-samarbeid om Erdős-problemer
Q1 Hva er Justin Sun-prisen
Det er en pris finansiert av kryptoentreprenøren Justin Sun som betaler folk for å løse matematiske problemer, spesielt de som er knyttet til de berømte Erdős-problemene
Q2 Hva er Erdős-problemer
De er en stor samling åpne matematiske spørsmål stilt eller popularisert av den legendariske ungarske matematikeren Paul Erdős. Mange er enkle å formulere, men svært vanskelige å løse
Q3 Hva er nytt med denne runden av prisen
Denne runden belønner spesifikt løsninger der et menneske og en AI arbeidet sammen — for eksempel en person som bruker en AI-modell som ChatGPT eller en bevisassistent for å knekke et problem
Q4 Må jeg bruke AI for å vinne
For denne runden, ja. Prisen er rettet mot menneske-AI-samarbeid, så en rent menneskelig løsning eller en rent AI-generert en kvalifiserer kanskje ikke
Q5 Hva regnes som menneske-AI-samarbeid
Enhver konfigurasjon der en person og et AI-system hver bidrar meningsfullt — for eksempel at AI-en foreslår bevistrinn og mennesket verifiserer, korrigerer og forbedrer dem
Q6 Hvem kan delta
Generelt alle — studenter, hobbyister eller profesjonelle matematikere. Sjekk de offisielle reglene for alders-, oppholds- eller kvalifikasjonsbegrensninger
Q7 Hvor mye er prisen
Prisbeløpene har variert etter runde og problemvanskelighetsgrad. Sjekk den offisielle kunngjøringen for de nøyaktige tallene
Q8 Hvilke problemer er kvalifiserte
Vanligvis problemer fra Erdős-problemmdatabasene eller en spesifikk liste publisert med prisen. Ikke alle åpne problemer kvalifiserer
Q9 Hvordan sender jeg inn en løsning
Vanligvis gjennom et offisielt innsendingsskjema eller e-post oppført i priskunngjøringen, med beviset ditt og en beskrivelse av hvordan AI-en ble brukt
Q10 Må AI-en være et spesifikt verktøy
Nei, de fleste runder tillater ethvert AI-verktøy — store språkmodeller, teorembevisere eller tilpassede systemer — så lenge du dokumenterer hva du brukte
Q11 Må jeg forklare AI-ens rolle
Ja. Arrangører ønsker vanligvis en klar redegjørelse for hva AI-en gjorde versus hva du gjorde, slik at samarbeidet er transparent
Q12 Hva om AI-ens svar er feil
Det er ditt ansvar. Mennesket er ansvarlig for å sjekke hvert trinn. Un