Pada 16 September, pendiri TRON, Sun Yuchen, secara rasmi mengumumkan penubuhan "Hadiah Sun Yuchen". Ini adalah mekanisme hadiah akademik terdesentralisasi dan tanpa kepercayaan pertama di dunia berdasarkan "senarai soalan", dengan satu-satunya kriteria penganugerahan ialah terobosan besar dalam disiplin asas dan pengesahan formal mesin, dengan hadiah tunggal tertinggi sehingga US$1 juta. Penubuhan hadiah ini tidak hanya mengisi kekosongan sejarah selama lebih seratus tahun tanpa hadiah matematik dalam Hadiah Nobel, tetapi juga cuba semula mentakrifkan logik dan sempadan hadiah sains di era AI, mendorong manusia dan kecerdasan buatan bekerjasama mempercepatkan penyelidikan sains asas.
Sun Zhenyu juga mengumumkan senarai pemenang pertama "Hadiah Sun Zhenyu", yang menghargai pencapaian dalam penyelesaian dan bukti formal terhadap 66 masalah matematik. Hadiah tertinggi diberikan kepada pasukan penyelidikan OpenAI, dengan hadiah sebanyak USD 1 juta, atas pencapaian dan bukti formal mereka terhadap "masalah kewujudan dan kehalusan persamaan Navier-Stokes tiga dimensi". Menurut maklumat yang dikeluarkan oleh OpenAI, bukti berkaitan dihasilkan oleh sistem dalaman mereka, kerja formalisasi dilakukan oleh GPT-6 Astra, dan telah disahkan melalui Lean.
Masalah ini berkaitan dengan persamaan Navier–Stokes, yang menggambarkan pergerakan bendalir, atau dikenali sebagai persamaan N–S. Persamaan ini dikembangkan pada abad ke-19 oleh ahli fizik Perancis Claude-Louis Navier, ahli matematik Ireland-British George Gabriel Stokes, dan lain-lain, dan telah ada selama lebih kurang dua abad. Pada tahun 2000, Clay Mathematics Institute menjadikan "masalah kewujudan dan kesemulajadian persamaan Navier–Stokes tiga dimensi" sebagai salah satu daripada Tujuh Masalah Milenium, dan menawarkan hadiah sebanyak US$1 juta.
Hasil yang memenangi anugerah ini juga melibatkan konjektur Sendov, masalah subset berbeza Erdős, dan konjektur kos kekal Dinitz–Garg–Goemans. Menurut peraturan "Anugerah Sun Yuchen", pemenang yang disenaraikan perlu mengemukakan permohonan secara aktif untuk mengklaim hadiah.
Sun Yuchen menyatakan bahawa matematik adalah bahasa dan kerangka dasar bagi semua ilmu asas. Yang benar-benar memperluas sempadan pemahaman manusia bukanlah pencarian yang sendirian semata-mata, tetapi penukaran wawasan menjadi hasil formal yang boleh diuji secara ketat oleh mesin dan boleh diterapkan semula oleh seluruh umat manusia. "Anugerah Sun Yuchen" dilahirkan khusus untuk tujuan ini—ia tidak menggunakan had nominasi tradisional atau kelayakan, tidak mengikuti jadual setiap empat tahun atau pencapaian seumur hidup, tetapi secara langsung mengikat hadiah dengan masalah matematik yang belum terpecahkan dan bukti formal yang boleh disahkan oleh mesin. Setiap penyumbang, sama ada penyelidik profesional, peminat bebas, atau individu serta pasukan yang bekerjasama antara manusia dan AI, yang berjaya mencapai terobosan pertama, akan menerima hadiah.
Di era AI, tempoh penyelesaian satu teka-teki telah dipendekkan dari bertahun-tahun kepada berbulan-bulan atau bahkan berhari-hari. Sistem ganjaran tradisional yang berpusat pada "prestasi seumur hidup" atau siklus tetap sudah sukar menyesuaikan diri dengan laju ilmiah yang semakin pantas. Visi "Anugerah Sun Yuchen" adalah menjadi "Hadiah Nobel di Era AI", yang merespon transformasi mendalam dalam penyelidikan ilmiah dan insentif semasa ini dengan cara yang lebih terdesentralisasi, lebih formal, dan lebih mesin. Ia akan terus memelihara dan mengemas kini secara awam sebuah gudang masalah matematik dan kod formal, di mana senarai soalan sekali dipasang akan dikunci selamanya, hanya bertambah dan tidak berkurang, hadiah hanya boleh ditukar dan tidak boleh dipulangkan, menjadi "peta pembinaan dengan harga yang ditetapkan".
Menurut penerangan, hadiah "Anugerah Sun Yuchen" akan diberikan hanya kepada peserta pertama yang menyelesaikan; jika beberapa orang menyelesaikannya bersama-sama, hadiah akan dibahagikan mengikut peratusan sumbangan. Penyelesaian masalah mendapat 70% daripada jumlah hadiah, manakala yang menyelesaikan pengesahan formal mendapat 30%; jika seseorang menyelesaikan kedua-duanya, mereka akan menerima keseluruhan hadiah. Hadiah juga akan diberikan walaupun penyelesaian dihasilkan oleh sistem kecerdasan buatan, tetapi harus diwakili oleh individu semula jadi, badan undang-undang, atau wakil kuasa bertulis mereka sebagai pihak yang mengesyorkan dan menerima pembayaran secara undang-undang. Anugerah ini merangkumi kemajuan matematik yang dicapai bermula 1 Januari 2026; jika masalah telah diselesaikan sebelum tarikh tersebut tetapi pengesahan formal diselesaikan selepasnya, pihak yang menyelesaikan pengesahan formal layak menerima hadiah. Senarai soalan semasa telah termasuk pengesahan formal Konjektur Poincaré, Konjektur Riemann, Konjektur Goldbach, serta banyak masalah belum terpecahkan yang diajukan oleh ahli matematik almarhum dan penerima Anugerah Wolf, Paul Erdős.
Sun Zhenyu mengungkapkan, selain hadiah, pemenang juga akan menerima sijil dan pingat, di mana sisi depan pingat tersebut menampilkan gambar wajah Sun Zhenyu dan "Hadiah Sun Zhenyu" dalam bahasa Cina dan Inggeris, sementara sisi belakangnya menggambarkan ukiran yang melambangkan eksplorasi manusia terhadap alam semesta, dengan tepi pingat diukir dengan perkataan Latin "Quod probatur, solvitur", yang bermaksud "Yang dibuktikan, diselesaikan". Badan pingat terbuat daripada tembaga, dengan lapisan emas tulen seberat 6 gram di permukaannya.
Prinsip "Hadiah Sun Yuchen" berpegang teguh kepada tiga prinsip: keterbukaan, kebajikan, dan sumber terbuka: terbuka kepada semua penyumbang yang memenuhi syarat, tanpa sekatan berdasarkan kewarganegaraan, institusi, atau identiti, serta tidak membezakan antara manusia dan AI; dana digunakan secara eksklusif untuk penganugerahan hadiah dan kerja-kerja terbuka, tanpa tujuan mendapat keuntungan; senarai masalah, kriteria pengesahan, serta bahan bukti dan pengesahan semuanya dibuka kepada awam melalui GitHub, dan rekod pembayaran hadiah disimpan di atas blockchain untuk kesan kekal yang boleh dilacak dan tidak boleh diubah.
Sun Yuchen menunjukkan bahawa usaha semasa untuk menterjemahkan bukti matematik manusia menjadi bukti formal yang boleh diverifikasi mesin masih bergantung terutamanya pada semangat sukarela komuniti formalisasi seperti Lean, dengan insentif ekonomi sistematik yang secara berterusan hilang. "Orang-orang formalis tidak pernah kekurangan semangat, tetapi kekurangan peta pembinaan dengan harga yang jelas." "Hadiah Sun Yuchen" memberikan senarai terbuka dengan hadiah untuk pertama kalinya kepada elemen penting ini, dengan tujuan mengubah situasi ini sepenuhnya.
Beliau juga menyatakan, "Hadiah yang dinamakan berdasarkan nama orang adalah perkara paling tidak politik di dunia. Lebih penting lagi, ini memberi saya kepuasan pribadi—kekayaan saya berasal daripada matematik. Ia berasal daripada matematik dan kembali kepada matematik." Menurut maklumat awam, dalam beberapa tahun terakhir, Sun Yuchen telah menderma hampir 45 juta dolar AS (sekitar 300 juta yuan China) dalam bidang teknologi, alam sekitar, dan bantuan bencana. Mulai sekarang, fokus kebajikan beliau akan sepenuhnya beralih kepada "Hadiah Sun Yuchen", secara berterusan mendorong lompatan pesat dalam sains asas melalui cara yang terbuka dan boleh disahkan.
"Saya bukan ahli matematik, saya seorang pemerhati, saya membayar. Selebihnya, serahkan kepada bukti," kata Sun Yuchen. Penganugerahan rasmi "Hadiah Sun Yuchen" telah memulakan satu paradigma insentif sains baharu yang berpusat pada pengesahan mesin, didorong oleh kerjasama manusia-mesin, dan menggunakan mekanisme ganjaran terdesentralisasi.