Ada satu hal yang menurut saya sangat menarik tentang @Justin Sun孙宇晨 ini,
Dia membuka artikelnya dengan kisah tentang Alfred Nobel—seorang pria yang pernah disebut oleh surat kabar Prancis sebagai “pedagang kematian”. Setelah berita kematian yang ternyata keliru tentang dirinya, padahal pada saat itu Nobel masih hidup. Dan bertahun-tahun kemudian, ia memilih untuk menggunakan hartanya sendiri untuk menetapkan hadiah bagi mereka yang memberikan manfaat tertinggi bagi umat manusia.
Sampai hari ini, nama Nobel hampir tidak lagi terikat pada bom, tetapi berubah menjadi salah satu nama hadiah yang paling diakui dunia
.
Justin mengatakan ia memahami hal ini dengan baik, karena ia juga tahu dari mana kekayaannya berasal
Jawabannya adalah matematika
Seluruh industri Blockchain berdiri di atas sesuatu yang sangat Abstract: Elliptic Curve, Hash Function, Discrete Logarithm, dan Number Theory. Hal yang dulu dipikirkan para matematikawan tanpa tahu bahwa suatu hari akan ada Bitcoin, Ethereum, atau TRON—akhirnya berubah menjadi fondasi pasar bernilai triliunan dolar dalam waktu berikutnya
.
Justin tampaknya berpikir kurang lebih bahwa ia sudah menerima banyak dari matematika; sekarang waktunya untuk mengembalikan sebagian ke hulu
.
Dan itulah asal-usul Justin Sun Prize
Hal yang saya anggap menarik adalah ia tidak berusaha membuat versi Nobel yang baru dengan Copy-Paste, tetapi mencoba merancang hadiah agar sesuai dengan dunia era AI
.
Ia berpandangan bahwa Fields Medal yang diberikan setiap 4 tahun atau sistem penghargaan lama pada umumnya diciptakan pada era ketika kecepatan penemuan saat itu lebih lambat. Tapi di dunia di mana AI bisa mencoba jalur pembuktian ribuan bahkan puluhan ribu cara, waktu dari Conjecture ke Proof bisa dipersingkat dari bertahun-tahun menjadi hanya beberapa bulan, atau bahkan lebih cepat lagi dalam beberapa kasus
Jadi muncul ide yang sederhana:
.
Kalau soal bisa dipecahkan lebih cepat, hadiah balasannya juga seharusnya dibayarkan lebih cepat
Sistem Justin memisahkan orang menjadi 2 peran: Prover, yaitu pihak yang membuktikan soal; dan Formalizer, yaitu pihak yang mengubah Proof tersebut agar berada dalam bentuk yang bisa diverifikasi oleh mesin. Satu orang bisa melakukan keduanya, atau bisa juga orang yang berbeda—negara yang berbeda. Bahkan bisa juga kombinasi Human + AI. Ia bilang dengan jelas bahwa ia lebih peduli pada hasil daripada siapa yang mengerjakannya
.
Bagian ini menurut saya jauh lebih maju daripada sekadar istilah “hadiah” dalam matematika, karena mulai terasa seperti pasar untuk Proof
Ada soal → ada hadiah uang → ada orang atau AI datang untuk memecahkan → ada orang Formalize → mesin Verify → uang dibayarkan
Seperti Bug Bounty, tapi alih-alih membayar orang yang menemukan bug, kita membayar orang yang menciptakan kebenaran yang bisa diverifikasi ulang
.
Satu lagi hal yang saya suka adalah: jika manusia sudah menerima bahwa Proof itu benar, tetapi belum ada yang Formalize, statusnya akan menjadi “Proved, pending formalization”, dan uang tetap dikunci sambil menunggu orang untuk melanjutkannya. Artinya, masa yang biasanya hanya waktu menunggu, berubah menjadi Quest yang benar-benar memiliki Bounty yang digantung di sana
.
Bagian ini mungkin sangat penting di era AI, karena pada akhirnya kita mungkin punya peta besar tentang apa yang diyakini manusia sebagai kebenaran, tetapi mesin belum bisa memverifikasinya sepenuhnya
Blockchain dalam sistem ini juga tidak bertugas membuat Proof menjadi benar. Di sana, Logika tetap menjadi penentu
Tugas Blockchain adalah membuat insentif menjadi lebih transparan: hadiah uang dikunci, masalah yang ditambahkan dan dihapus tidak bisa, dan pihak yang mendanai tidak bisa dengan mudah mengambil uangnya kembali
.
Tapi tetap belum Trustless 100%, karena Justin masih menjadi orang yang memilih soal mana yang harus diberi hadiah dan seberapa besar nilainya
Menurut saya bagian ini sangat menarik, karena bahkan jika AI begitu hebat sampai bisa membuktikan hampir semua matematika, manusia mungkin tetap harus menjawab pertanyaan: lalu masalah yang mana yang penting?
.
Salah satu sumbu lain dari artikel yang saya sukai adalah Justin yang sengaja memilih jalan berbeda dari Nobel
Nobel memberikan hadiah untuk hal yang benar-benar memberi dampak nyata pada dunia, tapi Justin mengatakan ia ingin hadiahnya untuk hal yang sangat Abstract, karena kita tidak akan pernah tahu bahwa apa yang hari ini terlihat tidak berguna bisa menjadi infrastruktur apa pada 50 tahun ke depan
.
Teori Bilangan pernah dianggap sebagai matematika murni yang hampir tidak berguna, tetapi kini justru menjadi fondasi Kriptografi dan seluruh dunia Crypto—seluruh industri
Jadi Thesis Justin adalah
“Jangan menunggu matematika jadi berguna dulu, baru kemudian memberimu nilai.”
Berikan nilainya sejak saat kita bahkan belum tahu harus dipakai untuk apa
Dan pada akhirnya, saya rasa tantangan paling sulit dari Justin Sun Prize bukan uang, bukan Blockchain, dan bukan AI
Tapi itu adalah kepercayaan
.
Nobel punya makna bukan karena uang hadiahnya, melainkan karena sudah lewat lebih dari 100 tahun; daftar pemenangnya membuat nama Nobel memiliki bobot tersendiri
Justin sendiri tampaknya memahami hal ini dengan baik, karena ia menulis dengan jelas bahwa ia tidak berharap siapa pun mempercayainya mulai hari ini, tetapi daftar pemenang hadiah di masa depan yang akan menjadi “penutur pengganti”
Dan ia menutup artikelnya dengan kalimat yang paling jelas menurut saya
“I am not a mathematician. I am merely an observer and a benefactor. The rest is left to the proofs.”
Dengan kata lain, Justin tidak mengatakan bahwa dia akan menjadi orang yang menciptakan matematika baru
Ia sedang meletakkan uang di depan masalah, lalu berkata
Siapa pun boleh—manusia boleh, AI juga boleh—kalau bisa dibuktikan benar, silakan datang ambil uangnya
.
Hari ini mungkin terlihat seperti hadiah baru untuk salah satu miliarder Crypto
Namun jika model ini benar-benar bisa melangkah jauh, ia bisa berubah menjadi Prototype dunia baru: masalah ada harganya, bukti bernilai, AI memiliki hak untuk bersaing, mesin adalah yang memverifikasi, dan Blockchain adalah yang membayar
Atau dengan kata lain
Kita mungkin sedang melihat awal dari ekonomi kebenaran yang bisa dibuktikan—mungkin juga begitu, ya 👀