Geneve, Schweiz — 5. oktober 2026 — Justin Suns kontor meddelte i dag de seneste vindere af Justin Sun-prisen: den uafhængige forsker Wouter van Doorn, matematik-ph.d.-studerende Quanyu Tang og matematikforsker Yanyang Li fra Southeast University i Nanjing. De blev anerkendt for bidrag til seks Erdős-problemer.
Wouter van Doorn er en uafhængig talteoretiker, der begyndte at forske i matematik som bachelorstuderende i 2010 og fortsatte med at samarbejde og publicere, efter han forlod akademia med en kandidatgrad. Quanyu Tang (汤泉宇) er ph.d.-studerende i matematik ved University of Science and Technology of China, hvis forskning dækker talteori, kombinatorik og AI-assisteret matematisk opdagelse.
Erdős-problemer er matematiske spørgsmål stillet eller populariseret af den ungarske matematiker Paul Erdős om tal, mønstre og andre matematiske strukturer. De er ofte enkle at formulere, men svære at løse, og de har været med til at forme forskningen i talteori og kombinatorik, hvor nogle har været åbne i årtier. Erdős-kataloget, der er samlet og vedligeholdt af Thomas Bloom, en matematiker og Royal Society University Research Fellow ved University of Manchester, indeholder mere end 1.200 problemer.
Van Doorn og Tang arbejdede sammen med Yanyang Li fra Southeast University's School of Mathematics i Nanjing for at løse Erdős-problem #650 og bestemme præcis, hvor mange heltal der altid kan matches med forskellige multipla inden for et specificeret interval. Van Doorn producerede også computerkontrollerbare beviser i Lean, software til verifikation af matematisk ræsonnement, for #369, vedrørende på hinanden følgende heltal med begrænsede primfaktorer; #457, om hvorvidt en kort række af på hinanden følgende heltal samlet kan indeholde hver primtal i et givet interval; og #469, vedrørende hvorvidt de reciproke værdier af en særlig klasse af tal, der kan udtrykkes som summer af deres divisorer, summerer til en endelig total. Tang løste separat #1044 og fastslog en skarp nedre grænse for grænselængder af områder defineret af polynomier, og bidrog sammen med Li til et større teams løsning af #1196, der begrænser vægtede summer over sæt af heltal, hvor intet medlem deler et andet.
Deres arbejde med #650 giver et konkret eksempel på, hvordan menneskelig dømmekraft og AI kan komplementere hinanden. ChatGPT hjalp med at udvikle bevisstrategien, mens Aristotle, et AI-system til matematisk ræsonnement, reparerede et hul under Lean-formaliseringen. Forskerne forenklede derefter argumentet og skrev de endelige beviser og redegørelsen.
"Denne oplevelse lærte mig, hvordan offentlig feedback kan skærpe et forskningsspørgsmål, og hvordan AI-assisteret opdagelse kan kombinere matematisk dømmekraft, samarbejde og streng verifikation," sagde Tang.
Dette er programmets første bekræftede tildelinger, der anerkender både matematisk opdagelse og det arbejde, der er nødvendigt for at gøre beviser uafhængigt kontrollerbare. Information om Justin Sun-prisen, dens problemkatalog og modtagernes bidrag er tilgængelig gennem programmets offentlige GitHub-repository. Priser vil blive udbetalt i enten USDT på TRON (TRC-20) eller USDC på Ethereum (ERC-20), baseret på modtagerens valg. For mere information, besøg venligst www.hejustinsun.com/prize.
Om Justin Suns kontor
Justin Suns kontor støtter Justin Suns globale forretnings-, filantropiske og offentlige initiativer inden for teknologi, blockchain, kunstig intelligens, videnskabelig forskning, investering, kunst og rumforskning.
Justin Sun er ambassadør og tidligere permanent repræsentant for Grenada ved Verdenshandelsorganisationen og grundlægger af TRON. TRON er den førende blockchain for stablecoin-revolutionen og har behandlet over 13 billioner dollars i volumen siden sin begyndelse. I verdens nye markeder er folk afhængige af USDT på TRON for at få adgang til det globale finansielle system.
Som protegé af Alibaba-grundlæggeren Jack Ma er Sun blevet internationalt anerkendt for sit arbejde i digital asset-industrien, herunder en Forbes-forsideprofil i april 2025 og flere optrædener på Forbes 30 Under 30-listen. I august 2025 fløj han på Blue Origins NS-34-mission og blev den 712. person i historien til at rejse ud i rummet. Hans bredere interesser omfatter teknologi, investering, filantropi, kunst, gaming og rumforskning. Justin Suns kontor Kontakt: info@hejustinsun.com Om Justin Sun-prisen Justin Sun-prisen er et akademisk initiativ grundlagt af Justin Sun for at støtte fremskridt inden for matematik, formel verifikation og AI-assisteret videnskabelig opdagelse. Prisen er decentraliseret og bygger på princippet om, at matematisk arbejde skal bedømmes efter styrken, stringensen og verificerbarheden af selve beviset, ikke efter prestige eller omdømme hos dem, der indsender det. Justin Sun etablerede prisen i sit eget navn som en langsigtet forpligtelse til at returnere rigdom skabt gennem matematik og teknologi tilbage til matematikken selv. Dens arv skal defineres af det arbejde, den anerkender, og de prismodtagere, hvis opdagelser består tidens prøve. Prisen forbinder klart definerede matematiske udfordringer med maskinverificerbart bevis. Dens styrende principper er åbenhed, offentlig nytte og open source-adgang. Besøg https://www.hejustinsun.com/prize for mere information. Kontakt: thejustinsunprize@hejustinsun.com
Ofte stillede spørgsmål
FAQ'er Den nye runde af Justin Sun-prisen for menneske-AI-samarbejde om Erdős-problemer
Q1 Hvad er Justin Sun-prisen
Det er en pris finansieret af crypto-iværksætteren Justin Sun, der betaler folk for at løse matematiske problemer, især dem der er knyttet til de berømte Erdős-problemer
Q2 Hvad er Erdős-problemer
De er en stor samling af åbne matematiske spørgsmål stillet eller populariseret af den legendariske ungarske matematiker Paul Erdős. Mange er enkle at formulere, men meget svære at løse
Q3 Hvad er nyt ved denne runde af prisen
Denne runde belønner specifikt løsninger, hvor et menneske og en AI arbejdede sammen—for eksempel en person, der bruger en AI-model som ChatGPT eller en bevisassistent til at løse et problem
Q4 Skal jeg bruge AI for at vinde
For denne runde, ja. Prisen er rettet mod menneske-AI-samarbejde, så en rent menneskelig løsning eller en rent AI-genereret en kvalificerer måske ikke
Q5 Hvad tæller som menneske-AI-samarbejde
Enhver opsætning, hvor en person og et AI-system hver bidrager meningsfuldt—for eksempel foreslår AI'en bevistrin, og mennesket verificerer, retter og forfiner dem
Q6 Hvem kan deltage
Generelt alle—studerende, hobbyister eller professionelle matematikere. Tjek de officielle regler for alders-, bopæls- eller kvalifikationsgrænser
Q7 Hvor meget er prisen
Prisbeløb har varieret efter runde og problemets sværhedsgrad. Tjek den officielle meddelelse for de præcise tal
Q8 Hvilke problemer er kvalificerede
Normalt problemer fra Erdős-problemdatabaserne eller en specifik liste offentliggjort med prisen. Ikke alle åbne problemer kvalificerer
Q9 Hvordan indsender jeg en løsning
Typisk gennem en officiel indsendelsesformular eller e-mail angivet i prisens meddelelse med dit bevis og en beskrivelse af, hvordan AI'en blev brugt
Q10 Skal AI'en være et specifikt værktøj
Nej, de fleste runder tillader ethvert AI-værktøj—store sprogmodeller, teorembevisere eller tilpassede systemer—så længe du dokumenterer, hvad du brugte
Q11 Skal jeg forklare AI'ens rolle
Ja. Arrangører ønsker normalt en klar redegørelse for, hvad AI'en gjorde versus, hvad du gjorde, så samarbejdet er gennemsigtigt
Q12 Hvad hvis AI'ens svar er forkert
Det er dit ansvar. Mennesket er ansvarlig for at kontrollere hvert trin. Un