Mengapa saya mendirikan Penghargaan Sun Yuchen

I
Nobel menemukan dinamit. Sebagian besar kekayaannya sepanjang hidup berasal dari benda ini.
Konon pada 1888, sebuah surat kabar Prancis keliru menerbitkan obituarinya, dengan judul “Pedagang Kematian Telah Mati”. Ia membaca obituarinya sendiri, lalu beberapa tahun kemudian membuat wasiat.
Hari ini, tak ada lagi yang menyebutnya Pedagang Kematian.
“Nobel” berubah menjadi kata benda netral, seperti “volt” dan “watt”, tanpa muatan emosional, sekadar sebuah satuan. Ia menyerahkan uangnya kepada “orang-orang yang memberikan kontribusi terbesar bagi umat manusia”; uang itu kembali ke tangan umat manusia, dan namanya pun kembali menjadi netral, bukan melalui pembelaan, melainkan melalui daftar pemenang selama lebih dari seratus tahun.
Saya menceritakan kisah ini karena saya memahaminya. Saya tahu dari mana uang berasal, dan saya juga tahu ke mana uang bisa pergi.

II
Akar kekayaan saya adalah matematika.
Industri blockchain secara keseluruhan dibangun di atas konstruksi kriptografi dan asumsi keamanan yang didukung oleh penelitian jangka panjang: logaritma diskret pada kurva eliptik sulit dipecahkan, fungsi hash tidak dapat dibalik, dan bilangan besar sulit difaktorkan. Pada 1985, dua matematikawan masing-masing menemukan bahwa kurva eliptik dapat digunakan untuk kriptografi, yang satu di universitas dan yang satu di IBM, tanpa saling mengenal. Pada tahun itu, tak ada yang menganggap hal ini berguna. Apa yang mereka tulis di papan tulis kemudian berubah menjadi pasar senilai triliunan dolar AS, menjadi sesuatu yang belum pernah ada sebelumnya—seseorang dapat sepenuhnya mengendalikan kekayaannya sendiri tanpa memerlukan izin siapa pun. Mereka sendiri tidak mendapatkan satu sen pun.
Kebebasan ini adalah salah satu hadiah matematika bagi umat manusia yang paling diremehkan. Saya mengambil banyak hal dari hadiah ini. Mendirikan penghargaan ini, pertama-tama, adalah untuk melunasi utang.

III
Penghargaan Nobel tidak memiliki penghargaan matematika. Ini adalah kelalaian lebih dari seratus tahun lalu, mungkin karena alasan pribadi, mungkin juga karena hal itu memang tak terpikirkan.
Kemudian ada Penghargaan Fields, yang diberikan setiap empat tahun kepada mereka yang berusia di bawah empat puluh tahun; ada Penghargaan Abel, yang diberikan setiap tahun untuk menghargai pencapaian seumur hidup. Keduanya sangat baik, tetapi ritmenya adalah ritme era sebelumnya.
Dunia matematika sebenarnya pernah memiliki jenis penghargaan lain. Erdős menetapkan harga untuk masalah-masalah sepanjang hidupnya, mulai dari dua puluh lima dolar hingga sepuluh ribu dolar; siapa pun yang memecahkannya akan ia beri cek. Banyak orang membingkai cek itu dan menggantungnya di dinding, tetapi tak pernah mencairkannya seumur hidup. Ia meninggal pada 1996, dan setelah itu cek semacam itu semakin jarang diterbitkan.
Sementara itu, matematika sedang memasuki era yang berbeda. Kecerdasan buatan tidak dapat melakukan eksperimen, tetapi dapat menurunkan pembuktian; kecerdasan buatan sulit menggantikan fisikawan untuk membuat akselerator partikel, tetapi dapat menggantikan matematikawan untuk mencoba seribu jalan. Hari ini, sebuah konjektur dari pengajuan hingga penyelesaian mungkin memerlukan beberapa bulan, atau mungkin beberapa hari. Penghargaan yang diberikan setiap empat tahun, menghadapi kecepatan seperti ini, bagaikan lonceng yang dibunyikan setiap empat tahun dan digantung di era yang menghitung waktu dalam hitungan hari.

IV
Karena itu, aturan Penghargaan Sun Yuchen sangat sederhana.
Penghargaan mengikuti soal, bukan orang. Tidak menunggu konferensi tahunan, tidak menunggu nominasi, tidak menunggu usia.
Untuk setiap soal, ada dua kolom nama. Satu kolom mencatat pembukti, satu kolom mencatat formalisator, yaitu orang yang memasukkan pembuktian ke dalam mesin. Keduanya bisa orang yang sama, atau bisa juga tak saling mengenal dan terpisah setengah dunia. Manusia boleh, AI boleh, manusia yang menggunakan AI juga boleh; di kolom mana pun saya tidak peduli spesiesnya. Nama yang sama dapat muncul berulang kali, dan boleh muncul di kolom mana pun.
Uang hanya memiliki satu pemicu: mesin memeriksa pembuktian dari baris pertama hingga baris terakhir, tanpa satu langkah pun terlewat. Setelah lolos, nama-nama di kedua kolom menjadi penerima hadiah untuk soal tersebut. Standar ini bukan ciptaan saya. Scholze memajang teorema terpentingnya dan mengundang orang untuk memasukkannya ke dalam mesin; Teorema Terakhir Fermat saat ini sedang dimasukkan ke dalamnya baris demi baris.
Sebelum diperiksa mesin, pembuktian manusia juga tidak sia-sia. Jika diterima dunia matematika, nama akan dipasang terlebih dahulu, uang tidak bergerak sedikit pun, dan bilah status bertuliskan: telah terbukti, menunggu formalisasi.
Uang di kolom pemecah soal hanya dibayarkan untuk soal yang baru diselesaikan setelah dipajang. Soal yang sudah diselesaikan saat dipajang tetap mencatat nama pembuktinya, tetapi uang hanya dibayarkan kepada orang yang memasukkannya ke dalam mesin. Penghargaan ini mencatat hal-hal yang terjadi setelah didirikan, bukan membagikan hadiah secara retroaktif kepada sejarah matematika.
Pembagian tugasnya bersih: nama menjadi milik dunia matematika, uang menjadi milik mesin, dan penyandang dana tidak menyentuh keduanya. Penilaian manusia hanya menyisakan satu hal: memastikan bahwa soal yang ditulis ke dalam mesin memang soal itu.
Masih ada satu hal terakhir yang saya putuskan: daftar soal. Soal mana yang dipajang dan berapa harganya, saya yang menandatanganinya. Cek Erdős, harganya juga ia tulis sendiri; di sini saya tidak berpura-pura menjadi pengecualian. Namun, begitu dipajang, semuanya terkunci: soal hanya boleh ditambah, tidak dikurangi; uang hanya boleh dicairkan, tidak ditarik kembali, termasuk oleh saya. Tak seorang pun dapat mengubahnya. Soal yang salah tetap dibayar, lalu dipajang kembali.
Seluruh selera saya dicurahkan pada satu hal ini. Di luar penetapan harga, verifikasi, pembayaran, dan pencantuman nama, saya tidak memiliki satu suara pun.
Hasil yang menentukan.

V
Dalam aturan ini, hal yang paling saya sukai adalah satu kata: “menunggu”.
Setelah sebuah soal diselesaikan dan diterima dunia matematika, uang tidak langsung bergerak. Nama pembukti dipasang terlebih dahulu, kolom formalisasi dibiarkan kosong, dan bilah status bertuliskan: telah terbukti, menunggu formalisasi. Siapa pun yang memasukkan pembuktian ini ke dalam mesin, setelah mesin memeriksanya, akan mengisi kolom kosong itu dengan nama mereka, dan perjalanan kepemilikan uang pun dimulai pada saat itu.
Dalam penghargaan lain, menunggu adalah keterlambatan, prosedur, kejahatan yang diperlukan. Di sini, menunggu itu sendiri adalah sebuah daftar.
Banyak orang membingkai cek Erdős dan menggantungnya di dinding, tetapi tak pernah mencairkannya seumur hidup. Uang yang dibingkai dan menatap ke belakang adalah kenangan; uang yang digantung di rantai dan menatap ke depan adalah panggilan. Kolom yang kosong di sana sama artinya dengan berkata kepada seluruh dunia: di sini ada pekerjaan yang masih terbuka dan memiliki harga.
Dengan demikian, daftar soal ini sekaligus menumbuhkan sesuatu yang lain: sebuah peta publik yang menandai segala hal yang telah diakui manusia tetapi belum diakui mesin. Peta ini belum ada hari ini. Ia hanya terdiri dari pecahan-pecahan yang tersebar di beberapa tempat, tak pernah disatukan, dan terlebih lagi tak pernah diberi harga.
Orang-orang yang melakukan formalisasi tidak pernah kekurangan antusiasme; yang kurang adalah cetak biru pekerjaan dengan harga. Siapa yang mengisi ruang kosong itu, dialah yang menerima uang. Mulai sekarang, memindahkan pembuktian panjang ke dalam mesin tetap menjadi antusiasme mereka, sementara tagihannya menjadi tanggungan saya. $ETH

‌#Gate打金狗獨家支持0Gas交易