Naujasis Justino Sun prizo turas pagerbia žmogaus ir dirbtinio intelekto bendradarbiavimą sprendžiant Erdős problemas

Ženeva, Šveicarija — 2026 m. spalio 5 d — Justino Sun biuras šiandien paskelbė naujausius Justino Sun premijos gavėjus: nepriklausomą mokslininką Wouterį van Doorną, matematikos mokslų daktarą. studentas Quanyu Tangas ir matematikos tyrinėtojas Yanyang Li iš Nanjingo Pietryčių universiteto, pripažintas už indėlį, apimantį šešias Erdős problemas.

Wouteris van Doornas yra nepriklausomas skaičių teoretikas, kuris 2010 m. bakalauro studijas pradėjo tyrinėti matematikos srityje ir, baigęs magistro studijas, toliau bendradarbiavo ir publikavosi. Quanyu Tang (汤泉宇) yra matematikos mokslų daktaras. Kinijos mokslo ir technologijų universiteto studentas, kurio moksliniai tyrimai apima skaičių teoriją, kombinatoriką ir matematinius atradimus su dirbtiniu intelektu.

Erdős problemos yra vengrų matematiko Paulo Erdőso pateikti arba išpopuliarinti matematiniai klausimai apie skaičius, modelius ir kitas matematines struktūras. Dažnai paprasta pasakyti, bet sunku išspręsti, jie padėjo formuoti skaičių teorijos ir kombinatorikos tyrimus, o kai kurie liko atviri dešimtmečius. Erdős kataloge, kurį sudaro ir prižiūri Thomas Bloomas, matematikas ir Karališkosios draugijos universiteto mokslinis bendradarbis iš Mančesterio universiteto, yra daugiau nei 1200 problemų.

Van Doorn ir Tang dirbo su Yanyang Li iš Pietryčių universiteto Matematikos mokyklos Nankinge, kad išspręstų Erdős užduotį Nr. 650, tiksliai nustatydami, kiek sveikųjų skaičių visada galima suderinti su skirtingais kartotiniais per nurodytą intervalą. Van Doorn taip pat parengė kompiuteriu tikrinamus įrodymus Lean, programine įranga, skirta matematiniams samprotavimams patikrinti, #369, susijusius su nuosekliais sveikaisiais skaičiais su ribotais pirminiais koeficientais; #457, apie tai, ar trumpoje iš eilės einančių sveikųjų skaičių serijoje gali būti visi pirminiai tam tikrame diapazone; ir #469, apie tai, ar specialios skaičių klasės, išreiškiamos kaip jų daliklių sumos, atvirkštiniai dydžiai pridedami prie baigtinės sumos.

Tangas atskirai išsprendė #1044, nustatydamas aštrią apatinę polinomų apibrėžtų regionų ilgių ribą, ir kartu su Li prisidėjo prie platesnės komandos sprendimo #1196, apribojančio svertines sumas per sveikųjų skaičių rinkinius, kuriuose nė vienas narys neskiria kito.

Jų darbas #650 yra konkretus pavyzdys, kaip žmogaus sprendimas ir AI gali papildyti vienas kitą. „ChatGPT“ padėjo sukurti įrodymo strategiją, o Aristotelis, matematinio samprotavimo AI sistema, pašalino spragą per „Lean“ formalizavimą. Tada mokslininkai supaprastino argumentą ir parašė galutinius įrodymus bei paaiškinimą.

„Ši patirtis išmokė mane, kaip viešasis grįžtamasis ryšys gali paaštrinti tyrimo klausimą ir kaip AI padedamas atradimas gali sujungti matematinį sprendimą, bendradarbiavimą ir griežtą patikrinimą“, – sakė Tangas.

Tai yra pirmieji programos patvirtinti apdovanojimai, pripažįstantys tiek matematinius atradimus, tiek darbą, reikalingą norint, kad įrodymai būtų patikrinti savarankiškai. Informaciją apie Justino Sun prizą, jo problemų katalogą ir gavėjų indėlius rasite programos puslapyje viešoji „GitHub“ saugykla.

Prizai bus išmokėti USDT TRON (TRC-20) arba USDC Ethereum (ERC-20), atsižvelgiant į gavėjo pasirinkimą. Norėdami gauti daugiau informacijos, apsilankykite www.hejustinsun.com/prize.

Apie Justino Sun biurą

Justino Sun biuras remia pasaulinį Justino Sun verslą, filantropines ir visuomenines iniciatyvas technologijų, blokų grandinės, dirbtinio intelekto, mokslinių tyrimų, investicijų, meno ir kosmoso tyrinėjimų srityse.

Justinas Sunas yra Grenados ambasadorius ir buvęs nuolatinis atstovas Pasaulio prekybos organizacijoje ir TRON įkūrėjas. TRON yra pirmaujanti stabilių monetų revoliucijos blokų grandinė, nuo pat jos pradžios apdorojusi daugiau nei 13 trilijonų USD. Besivystančiose pasaulio rinkose žmonės pasitiki USDT ir TRON, norėdami pasiekti pasaulinę finansų sistemą.

„Alibaba“ įkūrėjo Jacko Ma globotinis Sun buvo tarptautiniu mastu pripažintas už jo darbą skaitmeninio turto pramonėje, įskaitant „Forbes“ viršelio profilį 2025 m. balandžio mėn. ir daugybę pasirodymų „Forbes 30 Under 30“ sąraše. 2025 m. rugpjūtį jis skrido „Blue Origin“ NS-34 misija ir tapo 712-uoju istorijoje į kosmosą keliavusiu žmogumi. Jo platesni interesai apima technologijas, investicijas, filantropiją, meną, žaidimus ir kosmoso tyrinėjimus.

Justino Sun biuras Kontaktai:

info@hejustinsun.com

Apie Justino Sun prizą

Justino Sun prizas yra akademinė iniciatyva, kurią įsteigė Justinas Sunas, siekiant paremti matematikos pažangą, formalų patikrinimą ir dirbtinio intelekto padedamus mokslinius atradimus. Apdovanojimas yra decentralizuotas ir paremtas principu, kad matematinis darbas turėtų būti vertinamas pagal paties įrodymo stiprumą, griežtumą ir patikrinamumą, o ne pagal jį pateikusių asmenų prestižą ar reputaciją..

Justinas Sunas įsteigė prizą savo vardu kaip ilgalaikį įsipareigojimą grąžinti matematikos ir technologijų sukurtus turtus į pačią matematiką. Jo palikimą ketinama apibrėžti pagal atpažįstamą darbą ir laureatus, kurių atradimai išlaiko laiko išbandymą. Prizas aiškiai apibrėžtus matematinius iššūkius susieja su mašininiu būdu patikrinamu įrodymu. Jos pagrindiniai principai yra atvirumas, viešoji nauda ir atvirojo kodo prieiga.

Apsilankykite Norėdami gauti daugiau informacijos.

Susisiekite:

įjustinsunprize@hejustinsun.com