Apa itu “Justin Sun Prize” yang diumumkan oleh Justin Sun?
Nobel membuat hadiah setelah terinspirasi oleh sebuah artikel duka yang keliru berisi tuduhan bahwa ia menghasilkan uang besar dengan dinamit, dan ia mendirikan penghargaan untuk mengembalikan kekayaannya kepada umat manusia. Ceritanya seperti ini: kekayaan yang dibuat dari dynamite diserahkan kepada penerus yang berjasa, dan namanya “dibuat netral”.
Sun menerapkan pola yang sama pada matematika.
Kekayaan di blockchain lahir dari “matematika papan tulis” seperti kurva eliptik dan fungsi hash. Namun para matematikawan sendiri hampir tidak mendapat keuntungan. Jadi, klaimnya adalah: kembalikan ke fondasinya.
Intinya ada pada bentuk penghargaan.
Penghargaan Nobel dan Fields diberikan untuk “manusia” dalam sebuah perayaan. Yang ini adalah undian hadiah yang memberikan uang untuk “solusi”.
Sebagai analogi,
Nobel Prize = medali emas untuk sebuah upacara yang megah
Penghargaan ini = tempelkan hadiah untuk masalah yang belum terpecahkan, dan bayarkan begitu komputer memverifikasi pembuktian tanpa satu pun kesalahan dalam satu baris sekalipun.
Ada dua peran.
Orang yang menemukan bukti (prover)
Orang yang menuliskannya kembali dalam bentuk yang bisa dibaca mesin (formalizer)
Bisa siapa pun—manusia maupun AI, bahkan hibrida. Yang penting adalah hasilnya. Nama akan dicantumkan ketika komunitas mengakui bukti tersebut, tetapi hadiah akan dikunci sampai verifikasi oleh mesin berhasil. Kolom “belum dibayar” akan dipublikasikan sebagai “PR yang belum diterjemahkan siapa pun ke bahasa mesin”.
Kurang lebih seperti cara Erdős menulis cek untuk setiap masalah, tapi di sini diotomatisasi secara on-chain. Hadiahnya tidak bisa ditarik kembali setelah dipasang, meskipun bisa ditambah. Verifikasi dan pembayaran dipublikasikan di blockchain. Desainnya tidak memerlukan kepercayaan pada komite.
Intinya, ini adalah “penghargaan yang menempelkan hadiah yang dapat diverifikasi pada masalah-masalah matematika abstrak yang belum terpecahkan”. Kontrasnya: Nobel memberi penghargaan pada hal yang bermanfaat untuk kebutuhan praktis, sementara yang ini mengeluarkan uang untuk logika murni itu sendiri.
#TRONGlobalFriends
@justinsuntron #TGF
@TRON DAO
Nobel membuat hadiah setelah terinspirasi oleh sebuah artikel duka yang keliru berisi tuduhan bahwa ia menghasilkan uang besar dengan dinamit, dan ia mendirikan penghargaan untuk mengembalikan kekayaannya kepada umat manusia. Ceritanya seperti ini: kekayaan yang dibuat dari dynamite diserahkan kepada penerus yang berjasa, dan namanya “dibuat netral”.
Sun menerapkan pola yang sama pada matematika.
Kekayaan di blockchain lahir dari “matematika papan tulis” seperti kurva eliptik dan fungsi hash. Namun para matematikawan sendiri hampir tidak mendapat keuntungan. Jadi, klaimnya adalah: kembalikan ke fondasinya.
Intinya ada pada bentuk penghargaan.
Penghargaan Nobel dan Fields diberikan untuk “manusia” dalam sebuah perayaan. Yang ini adalah undian hadiah yang memberikan uang untuk “solusi”.
Sebagai analogi,
Nobel Prize = medali emas untuk sebuah upacara yang megah
Penghargaan ini = tempelkan hadiah untuk masalah yang belum terpecahkan, dan bayarkan begitu komputer memverifikasi pembuktian tanpa satu pun kesalahan dalam satu baris sekalipun.
Ada dua peran.
Orang yang menemukan bukti (prover)
Orang yang menuliskannya kembali dalam bentuk yang bisa dibaca mesin (formalizer)
Bisa siapa pun—manusia maupun AI, bahkan hibrida. Yang penting adalah hasilnya. Nama akan dicantumkan ketika komunitas mengakui bukti tersebut, tetapi hadiah akan dikunci sampai verifikasi oleh mesin berhasil. Kolom “belum dibayar” akan dipublikasikan sebagai “PR yang belum diterjemahkan siapa pun ke bahasa mesin”.
Kurang lebih seperti cara Erdős menulis cek untuk setiap masalah, tapi di sini diotomatisasi secara on-chain. Hadiahnya tidak bisa ditarik kembali setelah dipasang, meskipun bisa ditambah. Verifikasi dan pembayaran dipublikasikan di blockchain. Desainnya tidak memerlukan kepercayaan pada komite.
Intinya, ini adalah “penghargaan yang menempelkan hadiah yang dapat diverifikasi pada masalah-masalah matematika abstrak yang belum terpecahkan”. Kontrasnya: Nobel memberi penghargaan pada hal yang bermanfaat untuk kebutuhan praktis, sementara yang ini mengeluarkan uang untuk logika murni itu sendiri.
#TRONGlobalFriends
@justinsuntron #TGF
@TRON DAO
