Genefa, y Swistir — 5 Hydref 2026 — Cyhoeddodd Swyddfa Justin Sun enillwyr diweddaraf Gwobr Justin Sun heddiw: yr ymchwilydd annibynnol Wouter van Doorn, y myfyriwr doethuriaeth mewn mathemateg Quanyu Tang, a'r ymchwilydd mathemateg Yanyang Li o Brifysgol De-ddwyrain Nanjing. Cawsant eu cydnabod am gyfraniadau i chwe phroblem Erdős.
Mae Wouter van Doorn yn ddamcaniaethwr rhifau annibynnol a ddechreuodd ymchwilio i fathemateg fel israddedig yn 2010 ac a barhaodd i gydweithio a chyhoeddi ar ôl gadael y byd academaidd gyda gradd meistr. Mae Quanyu Tang (汤泉宇) yn fyfyriwr doethuriaeth mewn mathemateg ym Mhrifysgol Gwyddoniaeth a Thechnoleg Tsieina y mae ei ymchwil yn cwmpasu damcaniaeth rhifau, cyfuniadeg, a darganfyddiad mathemategol â chymorth AI.
Problemau Erdős yw cwestiynau mathemategol a gyflwynwyd neu a boblogeiddiwyd gan y mathemategydd Hwngaraidd Paul Erdős ynglŷn â rhifau, patrymau, a strwythurau mathemategol eraill. Yn aml maent yn syml i'w datgan ond yn anodd eu datrys, ac maent wedi helpu i lunio ymchwil mewn damcaniaeth rhifau a chyfuniadeg, gyda rhai yn parhau'n agored am ddegawdau. Mae catalog Erdős, a luniwyd ac a gynhelir gan Thomas Bloom, mathemategydd a Chymrawd Ymchwil Prifysgol y Gymdeithas Frenhinol ym Mhrifysgol Manceinion, yn cynnwys mwy na 1,200 o broblemau.
Gweithiodd Van Doorn a Tang gyda Yanyang Li o Ysgol Fathemateg Prifysgol De-ddwyrain yn Nanjing i ddatrys Problem Erdős #650, gan bennu'n union faint o gyfanrifau y gellir eu paru bob amser â lluosrifau gwahanol o fewn cyfwng penodedig. Cynhyrchodd Van Doorn hefyd brofion y gellir eu gwirio gan gyfrifiadur yn Lean, meddalwedd ar gyfer gwirio rhesymu mathemategol, ar gyfer #369, ynghylch cyfanrifau dilynol â ffactorau cysefin cyfyngedig; #457, ynghylch a all rhediad byr o gyfanrifau dilynol gynnwys pob rhif cysefin mewn ystod benodol gyda'i gilydd; ac #469, ynghylch a yw cilyddion dosbarth arbennig o rifau y gellir eu mynegi fel symiau eu rhannwyr yn adio i gyfanswm meidraidd. Datrysodd Tang #1044 ar wahân, gan sefydlu terfyn isaf miniog ar gyfer hydoedd ffiniau rhanbarthau a ddiffinnir gan bolynomialau, a chyfrannodd ochr yn ochr â Li at ddatrysiad tîm ehangach o #1196, gan ffinio symiau pwysol dros setiau o gyfanrifau nad yw unrhyw aelod ynddynt yn rhannu un arall.
Mae eu gwaith ar #650 yn cynnig enghraifft goncrit o sut y gall barn ddynol ac AI ategu ei gilydd. Helpodd ChatGPT i ddatblygu'r strategaeth brawf, tra bod Aristotle, system AI ar gyfer rhesymu mathemategol, wedi trwsio bwlch yn ystod ffurfioli yn Lean. Yna symleiddiodd yr ymchwilwyr y ddadl ac ysgrifennu'r profion a'r esboniad terfynol.
"Dysgodd y profiad hwn i mi sut y gall adborth cyhoeddus hogi cwestiwn ymchwil, a sut y gall darganfyddiad â chymorth AI gyfuno barn fathemategol, cydweithio a gwirio trwyadl," meddai Tang.
Dyma wobrau cyntaf cadarnhedig y rhaglen, gan gydnabod darganfyddiad mathemategol a'r gwaith sydd ei angen i wneud profion yn wirio'n annibynnol. Mae gwybodaeth am Wobr Justin Sun, ei chatalog problemau, a chyfraniadau derbynwyr ar gael trwy storfa GitHub gyhoeddus y rhaglen. Telir gwobrau naill ai yn USDT ar TRON (TRC-20) neu USDC ar Ethereum (ERC-20), yn seiliedig ar ddewis y derbynnydd. Am ragor o wybodaeth, ewch i www.hejustinsun.com/prize.
Ynghylch Swyddfa Justin Sun
Mae Swyddfa Justin Sun yn cefnogi mentrau busnes, dyngarol a chyhoeddus byd-eang Justin Sun ar draws technoleg, blockchain, deallusrwydd artiffisial, ymchwil wyddonol, buddsoddi, celf, ac archwilio'r gofod.
Justin Sun yw Llysgennad a chyn Gynrychiolydd Parhaol Grenada i'r Sefydliad Masnach y Byd a Sylfaenydd TRON. TRON yw'r blockchain blaenllaw ar gyfer chwyldro'r stablecoin, gan brosesu dros $13 triliwn mewn cyfaint ers ei sefydlu. Yn marchnadoedd sy'n dod i'r amlwg y byd, mae pobl yn dibynnu ar USDT ar TRON i gael mynediad at y system ariannol fyd-eang.
Mae Sun, sy'n ddisgybl i sylfaenydd Alibaba, Jack Ma, wedi cael ei gydnabod yn rhyngwladol am ei waith yn y diwydiant asedau digidol, gan gynnwys proffil clawr Forbes ym mis Ebrill 2025 ac ymddangosiadau lluosog ar restr Forbes 30 O Dan 30. Ym mis Awst 2025, hedfanodd ar genhadaeth NS-34 Blue Origin, gan ddod yn 712fed person yn hanes i deithio i'r gofod. Mae ei ddiddordebau ehangach yn cynnwys technoleg, buddsoddi, dyngarwch, celf, gemau, ac archwilio'r gofod. Cyswllt Swyddfa Justin Sun: info@hejustinsun.com Ynghylch Gwobr Justin Sun Mae Gwobr Justin Sun yn fenter academaidd a sefydlwyd gan Justin Sun i gefnogi datblygiadau mewn mathemateg, gwirio ffurfiol, a darganfyddiad gwyddonol â chymorth AI. Mae'r wobr yn ddatganoledig ac wedi'i hadeiladu ar yr egwyddor y dylid barnu gwaith mathemategol ar gryfder, trwyadledd, a gwirioadwyedd y prawf ei hun, nid ar friw neu enw da'r rhai sy'n ei gyflwyno. Sefydlodd Justin Sun y wobr yn ei enw ei hun fel ymrwymiad hirdymor i ddychwelyd cyfoeth a grëwyd trwy fathemateg a thechnoleg yn ôl i fathemateg ei hun. Bwriedir i'w etifeddiaeth gael ei diffinio gan y corff gwaith y mae'n ei gydnabod a'r enillwyr y mae eu darganfyddiadau'n sefyll prawf amser. Mae'r wobr yn cysylltu heriau mathemategol a ddiffinnir yn glir â phrawf y gellir ei wirio gan beiriant. Ei hegwyddorion arweiniol yw didwylledd, budd cyhoeddus, a mynediad ffynhonnell agored. Ewch i https://www.hejustinsun.com/prize am ragor o wybodaeth. Cyswllt: thejustinsunprize@hejustinsun.com
Cwestiynau Cyffredin
Cwestiynau Cyffredin Y Rownd Newydd o Wobr Justin Sun ar gyfer Cydweithio Dyn-AI ar Broblemau Erdős
C1 Beth yw Gwobr Justin Sun
Mae'n wobr a ariennir gan yr entrepreneur crypto Justin Sun sy'n talu pobl am ddatrys problemau mathemateg yn enwedig rhai sy'n gysylltiedig â'r problemau Erdős enwog
C2 Beth yw problemau Erdős
Maent yn gasgliad mawr o gwestiynau mathemateg agored a gyflwynwyd neu a boblogeiddiwyd gan y mathemategydd Hwngaraidd chwedlonol Paul Erdős Mae llawer yn syml i'w datgan ond yn anodd iawn eu datrys
C3 Beth sy'n newydd am y rownd hon o'r wobr
Mae'r rownd hon yn gwobrwyo'n benodol ddatrysiadau lle gweithiodd dyn ac AI gyda'i gilydd er enghraifft person yn defnyddio model AI fel ChatGPT neu gynorthwyydd prawf i gracio problem
C4 Oes rhaid i mi ddefnyddio AI i ennill
Ar gyfer y rownd hon oes Mae'r wobr wedi'i hanelu at gydweithio dyn-AI felly efallai na fydd datrysiad hollol ddynol neu un a gynhyrchwyd yn hollol gan AI yn gymwys
C5 Beth sy'n cyfrif fel cydweithio dyn-AI
Unrhyw drefniant lle mae person a system AI yn cyfrannu'n ystyrlon dyweder bod yr AI yn awgrymu camau prawf a'r dyn yn eu gwirio'n cywiro ac yn eu mireinio
C6 Pwy all gystadlu
Yn gyffredinol unrhyw un myfyrwyr hobïwyr neu fathemategwyr proffesiynol Gwiriwch y rheolau swyddogol ar gyfer terfynau oedran preswyliaeth neu gymhwyster
C7 Faint yw'r wobr
Mae symiau gwobrau wedi amrywio yn ôl rownd ac anhawster problem Gwiriwch y cyhoeddiad swyddogol am y ffigurau union
C8 Pa broblemau sy'n gymwys
Fel arfer problemau o gronfeydd data problemau Erdős neu restr benodol a gyhoeddir gyda'r wobr Nid yw pob problem agored yn gymwys
C9 Sut mae cyflwyno datrysiad
Fel arfer trwy ffurflen gyflwyno swyddogol neu e-bost a restrir yn y cyhoeddiad gwobr gyda'ch prawf a disgrifiad o sut y defnyddiwyd yr AI
C10 Oes rhaid i'r AI fod yn offeryn penodol
Nac oes mae'r rhan fwyaf o rowndiau'n caniatáu unrhyw offeryn AI modelau iaith mawr profwyr theoremau neu systemau wedi'u teilwra cyn belled â'ch bod yn dogfennu'r hyn a ddefnyddiwyd gennych
C11 Oes angen i mi esbonio rôl yr AI
Oes Mae trefnwyr fel arfer eisiau cyfrif clir o'r hyn a wnaeth yr AI yn erbyn yr hyn a wnaethoch chi fel bod y cydweithio'n dryloyw
C12 Beth os yw ateb yr AI yn anghywir
Eich bai chi yw hynny Mae'r dyn yn gyfrifol am wirio pob cam Un