Geneve, Sveitsi — 5. lokakuuta 2026 — Justin Sunin toimisto ilmoitti tänään Justin Sun -palkinnon uusimmat voittajat: riippumaton tutkija Wouter van Doorn, matematiikan tohtoriopiskelija Quanyu Tang ja matematiikan tutkija Yanyang Li Nanjingissa sijaitsevasta Southeast Universitystä. Heidät palkittiin kuuteen Erdősin ongelmaan tehdyistä panoksista.
Wouter van Doorn on riippumaton lukuteoreetikko, joka aloitti matematiikan tutkimisen perustutkinto-opiskelijana vuonna 2010 ja jatkoi yhteistyötä ja julkaisemista jätettyään akatemian maisterin tutkinnolla. Quanyu Tang (汤泉宇) on matematiikan tohtoriopiskelija University of Science and Technology of Chinassa, ja hänen tutkimuksensa kattaa lukuteorian, kombinatoriikan ja tekoälyn avustaman matemaattisen löytämisen.
Erdősin ongelmat ovat matemaattisia kysymyksiä, joita unkarilainen matemaatikko Paul Erdős esitti tai teki tunnetuiksi koskien lukuja, kuvioita ja muita matemaattisia rakenteita. Ne ovat usein yksinkertaisesti esitettäviä mutta vaikeita ratkaista, ja ne ovat auttaneet muovaamaan lukuteorian ja kombinatoriikan tutkimusta, ja jotkin ovat pysyneet avoimina vuosikymmeniä. Erdős-luettelo, jonka on koonnut ja jota ylläpitää Thomas Bloom, matemaatikko ja Royal Societyn yliopistotutkijatohtori Manchesterin yliopistossa, sisältää yli 1 200 ongelmaa.
Van Doorn ja Tang työskentelivät Yanyang Lin kanssa Southeast Universityn matematiikan koulusta Nanjingissa ratkaistakseen Erdősin ongelman #650 määrittäen tarkalleen, kuinka monta kokonaislukua voidaan aina yhdistää erillisiin monikertoihin määritellyllä välillä. Van Doorn tuotti myös tietokoneella tarkistettavia todistuksia Leanissä, ohjelmistossa matemaattisen päättelyn varmentamiseen, ongelmille #369, joka koskee peräkkäisiä kokonaislukuja, joilla on rajoitetut alkutekijät; #457, siitä voiko lyhyt peräkkäisten kokonaislukujen sarja yhdessä sisältää jokaisen alkuluvun tietyllä välillä; ja #469, siitä summautuvatko erityisen lukuluokan, joka voidaan ilmaista jakajiensa summina, käänteisluvut äärelliseen summaan. Tang ratkaisi erikseen ongelman #1044 määrittäen terävän alarajan polynomien määrittämien alueiden rajapituuksille ja osallistui Lin ohella laajemman ryhmän ratkaisuun ongelmalle #1196, joka rajaa painotettuja summia kokonaislukujoukoille, joissa mikään jäsen ei jaa toista.
Heidän työnsä ongelman #650 parissa tarjoaa konkreettisen esimerkin siitä, miten inhimillinen harkinta ja tekoäly voivat täydentää toisiaan. ChatGPT auttoi kehittämään todistusstrategiaa, kun taas Aristotle, tekoälyjärjestelmä matemaattiseen päättelyyn, korjasi aukon Lean-formalisoinnin aikana. Tutkijat sitten yksinkertaistivat argumentin ja kirjoittivat lopulliset todistukset ja esityksen.
"Tämä kokemus opetti minulle, miten julkinen palaute voi terävöittää tutkimuskysymystä ja miten tekoälyn avustama löytäminen voi yhdistää matemaattisen harkinnan, yhteistyön ja tiukan varmentamisen", Tang sanoi.
Nämä ovat ohjelman ensimmäiset vahvistetut palkinnot, jotka tunnustavat sekä matemaattisen löytämisen että työn, joka tarvitaan todistusten tekemiseksi itsenäisesti tarkistettaviksi. Tietoa Justin Sun -palkinnosta, sen ongelmaluettelosta ja vastaanottajien panoksista on saatavilla ohjelman julkisesta GitHub-varastosta. Palkinnot maksetaan joko USDT: nä TRONissa (TRC-20) tai USDC: nä Ethereumissa (ERC-20) vastaanottajan valinnan mukaan. Lisätietoja saat osoitteesta www.hejustinsun.com/prize.
Tietoa Justin Sunin toimistosta
Justin Sunin toimisto tukee Justin Sunin maailmanlaajuisia liiketoiminta-, hyväntekeväisyys- ja julkisia aloitteita teknologian, lohkoketjun, tekoälyn, tieteellisen tutkimuksen, sijoittamisen, taiteen ja avaruustutkimuksen aloilla.
Justin Sun on Grenadan suurlähettiläs ja entinen pysyvä edustaja Maailman kauppajärjestössä sekä TRONin perustaja. TRON on johtava lohkoketju stablecoin-vallankumoukselle, ja se on käsitellyt yli 13 biljoonaa dollaria volyymia perustamisestaan lähtien. Maailman kehittyvillä markkinoilla ihmiset luottavat USDT: hen TRONissa päästäkseen käsiksi maailmanlaajuiseen rahoitusjärjestelmään.
Alibaba-perustaja Jack Ma:n suojatti Sun on saanut kansainvälistä tunnustusta työstään digitaalisten varojen teollisuudessa, mukaan lukien Forbesin kansikuvaprofiili huhtikuussa 2025 ja useita esiintymisiä Forbesin 30 alle 30 -listalla. Elokuussa 2025 hän lensi Blue Originin NS-34-tehtävällä tullen 712. ihmiseksi historiassa, joka on matkustanut avaruuteen. Hänen laajempiin kiinnostuksen kohteisiinsa kuuluvat teknologia, sijoittaminen, hyväntekeväisyys, taide, pelaaminen ja avaruustutkimus. Justin Sunin toimisto Yhteystiedot: info@hejustinsun.com Tietoa Justin Sun -palkinnosta Justin Sun -palkinto on akateeminen aloite, jonka Justin Sun perusti tukeakseen edistystä matematiikassa, muodollisessa varmentamisessa ja tekoälyn avustamassa tieteellisessä löytämisessä. Palkinto on hajautettu ja rakennettu periaatteelle, että matemaattista työtä tulisi arvioida todistuksen itsensä voiman, tiukkuuden ja todennettavuuden perusteella, ei sen lähettäjien arvovallan tai maineen perusteella. Justin Sun perusti palkinnon omalla nimellään pitkän aikavälin sitoumuksena palauttaa matematiikan ja teknologian kautta luotu varallisuus takaisin matematiikkaan itseensä. Sen perinnön on tarkoitus määrittyä sen tunnustaman työn ja palkittujen, joiden löydöt kestävät ajan koetuksen, kautta. Palkinto yhdistää selkeästi määritellyt matemaattiset haasteet koneellisesti todennettavaan todistukseen. Sen ohjaavat periaatteet ovat avoimuus, yleinen hyöty ja avoimen lähdekoodin saatavuus. Käy osoitteessa https://www.hejustinsun.com/prize saadaksesi lisätietoja. Yhteystiedot: thejustinsunprize@hejustinsun.com
Usein kysytyt kysymykset
UKK Justin Sun -palkinnon uusi kierros ihmisen ja tekoälyn yhteistyöstä Erdősin ongelmissa
K1 Mikä on Justin Sun -palkinto
Se on krypto-yrittäjä Justin Sunin rahoittama palkinto, joka maksaa ihmisille matematiikan ongelmien ratkaisemisesta, erityisesti kuuluisiin Erdősin ongelmiin liittyvistä
K2 Mitä Erdősin ongelmat ovat
Ne ovat suuri kokoelma avoimia matematiikan kysymyksiä, joita legendaarinen unkarilainen matemaatikko Paul Erdős esitti tai teki tunnetuiksi Monet ovat yksinkertaisesti esitettäviä mutta erittäin vaikeita ratkaista
K3 Mikä on uutta tässä palkinnon kierroksessa
Tämä kierros palkitsee erityisesti ratkaisut, joissa ihminen ja tekoäly työskentelivät yhdessäesimerkiksi henkilö, joka käytti tekoälymallia kuten ChatGPT tai todistusavustajaa ongelman ratkaisemiseen
K4 Täytyykö minun käyttää tekoälyä voittaakseni
Tällä kierroksella kyllä Palkinto on suunnattu ihmisen ja tekoälyn yhteistyöhön, joten puhtaasti ihmisen ratkaisu tai puhtaasti tekoälyn tuottama ei välttämättä kelpaa
K5 Mikä lasketaan ihmisen ja tekoälyn yhteistyöksi
Mikä tahansa järjestely, jossa henkilö ja tekoälyjärjestelmä kumpikin osallistuvat merkityksellisestisanotaan tekoäly ehdottaa todistusvaiheita ja ihminen varmentaa korjaa ja hienosäätää niitä
K6 Kuka voi osallistua
Yleisesti kuka tahansaopiskelijat harrastajat tai ammattimatemaatikot Tarkista viralliset säännöt iän asuinpaikan tai kelpoisuusrajoitusten osalta
K7 Kuinka suuri palkinto on
Palkintosummat ovat vaihdelleet kierroksen ja ongelman vaikeuden mukaan Tarkista tarkat luvut virallisesta ilmoituksesta
K8 Mitkä ongelmat ovat kelpoisia
Yleensä ongelmat Erdősin ongelmatietokannoista tai erityisestä luettelosta, joka on julkaistu palkinnon yhteydessä Kaikki avoimet ongelmat eivät kelpaa
K9 Miten lähetän ratkaisun
Tyypillisesti virallisen lähetyslomakkeen tai sähköpostin kautta, joka on lueteltu palkintojulkaisussa, todistuksesi ja kuvauksen kanssa siitä, miten tekoälyä käytettiin
K10 Täytyykö tekoälyn olla tietty työkalu
Ei useimmat kierrokset sallivat minkä tahansa tekoälytyökalunsuuret kielimallit lauseentodistajat tai mukautetut järjestelmätniin kauan kuin dokumentoit mitä käytit
K11 Täytyykö minun selittää tekoälyn rooli
Kyllä Järjestäjät haluavat yleensä selkeän selvityksen siitä, mitä tekoäly teki versus mitä sinä teit, jotta yhteistyö on läpinäkyvää
K12 Entä jos tekoälyn vastaus on väärä
Se on sinun vastuullasi Ihmisen on tarkistettava jokainen vaihe Un