Noong Setyembre 16, ipinahayag ni Sun Yuchen, ang tagapagtatag ng TRON, ang pagkakatatag ng “Sun Yuchen Award.” Ito ang unang global na zero-trust, decentralized academic bounty mechanism batay sa “listahan ng mga tanong,” na mayroon lamang isang pamantayan para sa pagkakaloob ng gantimpala: malalaking pagbubukas sa mga pangunahing agham at machine formal verification, na may pinakamataas na pambabawas na pera na umabot sa $1 milyon bawat tanong. Ang pagkakatatag ng gantimpalang ito ay hindi lamang nagpapuno sa isang historyal na puwang na hindi pa nakakakuha ng gantimpala sa matematika mula noong 100 taon ng Nobel Prize, kundi nagtatangkang muli pang tukuyin ang lohika at hangganan ng paggantimpala sa agham sa panahon ng AI, upang tulungan ang kalikasan at ang artificial intelligence na mag-akselerate nang sama-sama sa pananaliksik sa pangunahing agham.
Ipinahayag ni Sun Yuchen ang unang listahan ng mga tagapagwagi ng "Parangal ni Sun Yuchen" para sa mga natapos na solusyon at pormal na patunay sa 66 na matematikal na problema. Ang pinakamataas na parangal ay ibinigay sa research team ng OpenAI na may pera na $1,000,000 bilang pagkilala sa kanilang solusyon at pormal na patunay para sa "problemang pagkakaroon at kalinawan ng three-dimensional Navier–Stokes equations". Ayon sa impormasyon na inilabas ng OpenAI, ang kaugnay na patunay ay ginawa ng kanilang loob na sistema, ang pormal na trabaho ay natapos ng GPT-6 Astra, at napatunayan na sa Lean.
Ang tanong na ito ay tumatalakay sa Navier–Stokes equations, o maikling N–S equations, na naglalarawan ng paggalaw ng mga fluid. Ipinag-isip at itinatag ng mga physicist na si Claude-Louis Navier mula sa France at si George Gabriel Stokes mula sa Ireland-Britain, at iba pa noong ika-19 siglo, mayroon itong halos dalawang daang taon na kasaysayan. Noong 2000, ang Clay Mathematics Institute ay isinama ang "Problem of Existence and Smoothness of the Three-Dimensional Navier–Stokes Equations" bilang isa sa Seven Millennium Prize Problems, at nagtatakda ng pagsasalapi na $1 milyon para dito.
Kasali sa mga natapos na resultang ito ang Conjecture ng Sundoff, ang Erdős Distinct Subset Sum Problem, at ang Dinitz–Garg–Goemans Cost Preservation Conjecture. Ayon sa mga patakaran ng “Pambansang Parangal ni Sun Yuchen,” kailangan ng mga nanalo na nakalista na humingi nang aktibo para sa kanilang pera.
Sinabi ni Sun Yuchen na ang matematika ay ang pangunahing wika at framework ng lahat ng pangunahing agham. Ang tunay na pagpapalawak sa hangganan ng pagkakaunawa ng tao ay hindi lamang ang mag-isa mong paghahanap, kundi ang pagpapalit ng mga pananaw sa anyo ng pormal na resulta na maaaring masuri nang mahigpit ng mga makina at maaaring muling gawin ng buong sangkatauhan. Para sa layuning ito, ipinatupad ang “Parangal ni Sun Yuchen”—hindi ito nagtataglay ng tradisyonal na pag-nominat o mga hadlang sa karanasan, hindi ito nakabatay sa ritmo na apat na taon o sa buong buhay na tagumpay, kundi diretso itong nagkakaroon ng pera na nakabatay sa mga hindi pa nalulutas na problema sa matematika at sa pormal na patotoo na maaaring masuri ng machine. Anumang kontribyutor, anuman ang propesyonal na siya, independiyenteng mahilig, o indibidwal o koponan na nagtatrabaho kasama ang AI, kung sino man ang unang makakamit ng pagbubukas, ay makakatanggap ng parangal.
Sa panahon ng AI, ang panahon para sa paglutas ng isang hipotesis ay bumababa mula sa mga taon patungo sa mga buwan o kahit mga araw. Ang tradisyonal na sistema ng pagpaparangal na batay sa “buong buhay na nagawa” o fixed na panahon ay hindi na nakakatugon sa mabilis na ritmo ng agham. Ang pangarap ng “Bounty Prize ni Sun Yuchen” ay maging ang “Nobel Prize ng Panahon ng AI,” na sumasagot sa malalim na pagbabago sa pag-aaral at pagpaparangal sa agham sa panahong ito sa pamamagitan ng mas de sentralisadong, mas pormal, at mas makina na paraan. Ito ay magpapatuloy na papanatili at magpapalabas ng mga update sa isang mathematical problem at formalized code repository, kung saan ang listahan ng mga problema ay magiging permanenteng nakakulong agad pagkatapos ma-post, tanging dadagdagan at hindi babawasan, at ang premyo ay maaaring palitan lamang at hindi babalik, maging isang “mga mapang may presyo.”
Ayon sa impormasyon, ang parangal sa “Bawat Prize ni Sun Yuchen” ay magkakaroon lamang ng isang nagwagi; kung maraming tao ang nagtapos nang sabay, ang parangal ay aabot sa kanilang proporsyonal na kontribusyon. Makakatanggap ng 70% ng kabuuang pera ang naglutas ng problema, at 30% ang nagtapos ng pormal na pagpapatotoo; kung isang tao lang ang nagtapos ng parehong paglutas at pormal na pagpapatotoo, makakatanggap siya ng buong parangal. Kahit na ang isang artificial intelligence system ang nagtapos ng reward, babayaran pa rin ito, ngunit kailangan ng isang natural na tao, legal na entidad, o kanilang sinulat na awtorisadong representante bilang tagapag-apply at legal na tagatanggap. Ang parangal ay sumasakop sa lahat ng matematikal na pag-unlad na nakuha mula Enero 1, 2026; kung ang problema ay naresolba bago ang petsang iyon ngunit ang pormal na pagpapatotoo ay natapos pagkatapos, makakatanggap ang tagapagpapatotoo ng parangal. Kasalukuyang kasama sa listahan ng mga problema ang pormal na pagpapatotoo ng Poincaré Conjecture, Riemann Hypothesis, Goldbach Conjecture, at maraming hindi nalulutas na problema na itinakda ng namatay na matematiko at tagapagwagi ng Wolf Prize, Paul Erdős.
Inilah ni Sun Yuchen na ang mga tagapagwagi ay makakatanggap ng sertipiko at medalya, maliban sa pera. Ang harap ng medalya ay may larawan ni Sun Yuchen at ang “Sun Yuchen Award” sa wikang Ingles at Tsino, habang ang likod ay may disenyo na nagpapakita ng pag-aaral ng tao sa kalawakan, at sa gilid ay nakasulat ang Latin na “Quod probatur, solvitur,” na nangangahulugang “Ang nasusuri ay nasosolusyunan.” Ang pangunahing materyales ng medalya ay tanso, na may panlabas na pagkakalat ng 6 na gramo ng malinis na ginto.
Ang “Parangal ni Sun Yuchen” ay sumusunod sa tatlong prinsipyo: pagiging bukas, pambayan, at bukas na pinagmulan: nakatuon sa lahat ng kwalipikadong kontribyutor, walang pagkakaiba-iba batay sa kaharian, institusyon, o identidad, at hindi nagkakaiba sa tao at AI; ang pondo ay eksklusibong ginagamit para sa pagbibigay ng parangal at mga bukas na proyekto, hindi para sa pagkakaroon ng kita; ang listahan ng mga tanong, mga pamantayan para sa pagpapatotoo, at mga dokumento para sa pag-verify ay bukas sa publiko sa GitHub, at ang mga tala ng pagbibigay ng pera ay naka-record sa blockchain para sa permanenteng pagsubaybay at hindi pagbabago.
Sinabi ni Sun Yuchen na ang kasalukuyang pagpapalit ng mga matematikal na patunay ng tao sa mga formang patunay na maaaring i-verify ng machine ay patuloy na nakasalalay sa espontaneong dedikasyon ng mga komunidad sa pormal, na kawalan ng sistematisadong ekonomikong insentibo sa matagal nang panahon. "Ang mga pormalista ay hindi kailangan ng dedikasyon, kundi ng isang mapang may presyo." Ang "Parangal ni Sun Yuchen" ay unang nagbibigay ng isang pampubliko at may parangal na lista para sa mahalagang bahaging ito, na layunin baguhin nang ganap ang sitwasyong ito.
Dagdag pa niya, “Ang parangal na may pangalan ng tao ay ang pinakamaliit na politikal bagay sa mundo. Mas mahalaga pa nito, ito ay nagbibigay ng pagpapakita sa sarili—ang aking yaman, ang pinagmulan nito ay matematika. Ito ay galing sa matematika, at babalik sa matematika.” Ayon sa publikong impormasyon, sa nakaraang ilang taon, si Sun Yuchen ay nagdonate na ng halos 45 milyong dolyar (katumbas ng halos 3 bilyong RMB) sa mga larangan tulad ng teknolohiya, kalikasan, at pagtulong sa sakuna. Mula ngayon, ang kanyang pangunahing layunin sa pagmamalasakit ay magiging buong-buo ang “Parangal ni Sun Yuchen,” at patuloy na hihikayat sa pagpapabilis ng pag-usbong sa pangunahing agham sa pamamagitan ng paraan na malinaw at masusuri.
Hindi ako isang matematiko, ako ay isang tagasubaybay, at ako ang nagbabayad. Ang natitira, ipinapagkatiwala ko sa patotoo,” sabi ni Sun Yuchen. Ang opisyal na pagtatatag ng “Parangal ni Sun Yuchen” ay nagbukas na ng isang bagong paraan ng paghikayat sa agham na nakabatay sa pag-verify ng makina, na pinapagalaw ng tao at makina, at gumagamit ng decentralized reward bilang mekanismo.