Pada 16 September, pendiri TRON, Sun Yuchen, secara resmi mengumumkan pendirian "Hadiah Sun Yuchen". Ini adalah mekanisme hadiah akademik terdesentralisasi dan tanpa kepercayaan pertama di dunia berbasis "daftar soal", dengan satu-satunya kriteria pemberian hadiah yaitu terobosan besar dalam disiplin ilmu dasar dan verifikasi formal mesin, dengan hadiah tunggal tertinggi mencapai 1 juta dolar AS. Pendirian hadiah ini tidak hanya mengisi kekosongan sejarah selama lebih dari seratus tahun di mana Hadiah Nobel tidak menyediakan hadiah matematika, tetapi juga berusaha mendefinisikan ulang logika dan batasan penghargaan ilmiah di era AI, mendorong percepatan bersama manusia dan kecerdasan buatan dalam penelitian ilmu dasar.
Sun Zhenyu juga mengumumkan daftar pemenang pertama "Hadiah Sun Zhenyu", yang menghargai pencapaian dalam menyelesaikan 66 masalah matematika dan bukti formalisasi. Hadiah tertinggi diberikan kepada tim peneliti OpenAI, dengan hadiah senilai 1 juta dolar AS, untuk menghargai pencapaian dan bukti formalisasi mereka terhadap masalah "eksistensi dan kehalusan persamaan Navier-Stokes tiga dimensi". Menurut informasi yang dirilis oleh OpenAI, bukti terkait dihasilkan oleh sistem internal mereka, pekerjaan formalisasi dilakukan oleh GPT-6 Astra, dan telah diverifikasi melalui Lean.
Masalah ini melibatkan persamaan Navier–Stokes, yang menggambarkan gerakan fluida, disingkat sebagai persamaan N–S. Persamaan ini dikembangkan pada abad ke-19 oleh fisikawan Prancis Claude-Louis Navier, matematikawan Irlandia-Britania George Gabriel Stokes, dan lainnya, dan telah ada selama sekitar dua abad. Pada tahun 2000, Clay Mathematics Institute menjadikan "masalah eksistensi dan kehalusan persamaan Navier–Stokes tiga dimensi" sebagai salah satu dari Tujuh Masalah Milenium, dan menawarkan hadiah sebesar 1 juta dolar AS.
Hasil pemenang kali ini juga mencakup dugaan Sendov, masalah himpunan berbeda Erdős, dan dugaan biaya Dinitz–Garg–Goemans. Sesuai peraturan "Hadiah Sun Yuchen", pemenang yang tercantum dalam daftar yang telah diumumkan harus mengajukan permohonan secara aktif untuk mencairkan hadiah.
Sun Yuchen menyatakan bahwa matematika adalah bahasa dan kerangka dasar dari semua ilmu dasar. Yang benar-benar memperluas batas pemahaman manusia selalu bukan hanya pencarian yang terisolasi, tetapi juga mengubah wawasan menjadi bentuk formal yang dapat diuji secara ketat oleh mesin dan dapat direplikasi oleh seluruh umat manusia. "Hadiah Sun Yuchen" lahir untuk tujuan ini, tidak mengandalkan batasan nominasi tradisional atau kualifikasi, tidak mengikuti ritme empat tahunan atau pencapaian seumur hidup, tetapi langsung mengaitkan hadiah dengan masalah matematika yang belum terpecahkan dan bukti formal yang dapat diverifikasi oleh mesin. Setiap kontributor, baik peneliti profesional, penggemar independen, maupun individu atau tim yang bekerja sama antara manusia dan AI, yang berhasil mencapai terobosan pertama kali, berhak mendapatkan hadiah.
Di era AI, siklus penyelesaian sebuah dugaan sedang diperpendek dari beberapa tahun menjadi beberapa bulan bahkan beberapa hari. Sistem insentif tradisional yang berbasis pada "prestasi seumur hidup" atau periode tetap sudah sulit menyesuaikan diri dengan kecepatan ilmiah yang semakin meningkat. Visi "Hadiah Sun Yuchen" adalah menjadi "Hadiah Nobel di Era AI", yang merespons transformasi mendalam dalam penelitian ilmiah dan insentif pada masa baru dengan cara yang lebih terdesentralisasi, lebih formal, dan lebih mesin. Hadiah ini akan terus memelihara dan memperbarui secara terbuka sebuah repositori masalah matematis dan kode formal; daftar soal yang dipasang akan tetap terkunci selamanya, hanya bertambah, tidak berkurang, hadiah hanya dapat dicairkan, tidak dapat dikembalikan, menjadi "peta konstruksi dengan harga".
Menurut informasi, hadiah "Hadiah Sun Yuchen" hanya akan diberikan kepada yang pertama menyelesaikan; jika beberapa orang menyelesaikan secara bersama-sama, hadiah akan dibagi sesuai proporsi kontribusi. Penyelesaian soal memperoleh 70% dari total hadiah, sementara yang menyelesaikan verifikasi formal memperoleh 30%; jika satu orang menyelesaikan baik penyelesaian soal maupun verifikasi formal, maka seluruh hadiah akan diberikan. Bahkan jika sistem kecerdasan buatan yang menyelesaikan tantangan, hadiah tetap diberikan, tetapi harus ada individu alami, badan hukum, atau perwakilan resmi yang diotorisasi secara tertulis sebagai pihak yang mengajukan dan menerima pembayaran secara hukum. Hadiah ini mencakup kemajuan matematis yang dicapai sejak 1 Januari 2026; jika masalah telah terpecahkan sebelum tanggal tersebut tetapi verifikasi formal diselesaikan setelahnya, maka pihak yang menyelesaikan verifikasi formal berhak mendapatkan hadiah. Daftar soal saat ini telah mencakup verifikasi formal dari Konjektur Poincaré, Konjektur Riemann, Konjektur Goldbach, serta sejumlah besar masalah tak terpecahkan yang diajukan oleh almarhum matematikawan dan penerima Penghargaan Wolf, Paul Erdős.
Sun Zhenyu mengungkapkan bahwa selain hadiah uang, pemenang juga akan menerima sertifikat dan medali, di mana sisi depan medali menampilkan potret Sun Zhenyu dan tulisan "Sun Zhenyu Award" dalam bahasa Mandarin dan Inggris, sementara sisi belakangnya menggambarkan ukiran yang melambangkan eksplorasi manusia terhadap alam semesta, dengan tepi medali diukir kalimat Latin "Quod probatur, solvitur" yang berarti "Yang dibuktikan, terpecahkan". Badan medali terbuat dari tembaga dengan lapisan emas murni 6 gram di permukaannya.
Prinsip "Hadiah Sun Yuchen" berpegang pada tiga prinsip terbuka, amal, dan sumber terbuka: terbuka untuk semua kontributor yang memenuhi syarat, tanpa batasan kewarganegaraan, institusi, atau identitas, serta tidak membedakan antara manusia dan AI; dana digunakan secara eksklusif untuk pemberian hadiah dan pekerjaan terbuka, tanpa tujuan profit; daftar masalah, kriteria konfirmasi, serta bahan bukti dan verifikasi seluruhnya dibuka untuk publik melalui GitHub, dan rekaman distribusi hadiah dicatat di blockchain untuk dapat dilacak selamanya dan tidak dapat diubah.
Sun Zhenyu menunjukkan bahwa saat ini, pekerjaan mengubah bukti matematis manusia menjadi bentuk bukti formal yang dapat diverifikasi mesin masih terutama bergantung pada semangat sukarela dari komunitas formalisasi seperti Lean, dengan insentif ekonomi sistematis yang secara jangka panjang masih hilang. "Orang-orang formalis tidak pernah kekurangan semangat, yang mereka butuhkan adalah peta konstruksi dengan harga yang jelas." "Hadiah Sun Zhenyu" pertama kali menyediakan daftar terbuka dengan insentif untuk tahap kunci ini, bertujuan untuk mengubah situasi ini secara menyeluruh.
Dia lebih lanjut menyatakan, "Hadiah yang dinamai dengan nama seseorang adalah hal paling tidak politis di dunia. Lebih penting lagi, ini memberi saya jawaban pribadi—kekayaan saya berasal dari matematika. Ia berasal dari matematika, dan kembali ke matematika." Menurut informasi publik, selama beberapa tahun terakhir, Sun Yuchen telah menyumbangkan hampir 45 juta dolar AS (sekitar 300 juta yuan Cina) secara kumulatif di bidang teknologi, lingkungan, dan bantuan bencana. Mulai sekarang, fokus filantropinya akan sepenuhnya beralih ke "Hadiah Sun Yuchen," terus mendorong terobosan cepat dalam ilmu dasar dengan cara yang terbuka dan dapat diverifikasi.
"Saya bukan matematikawan, saya seorang pengamat, saya membayar. Sisanya, serahkan pada bukti," kata Sun Zhen. Pendirian resmi "Hadiah Sun Zhen" telah memulai paradigma insentif ilmiah baru yang berpusat pada verifikasi mesin, didorong oleh kolaborasi manusia-mesin, dan menggunakan mekanisme hadiah terdesentralisasi.