Justin Sun'un kendi ifadesiyle, neden "Justin Sun Ödülü" kuruldu?

Orijinal başlık: "Sun Yuchen Ödülü'nü neden kuruyorum"

Orijinal yazar: Sun Yuchen

Bir

Nobel dinamiti icat etti. Hayatı boyunca servetinin büyük kısmı bu şeyden geldi.

Söylentiye göre 1888'de bir Fransız gazetesi yanlışlıkla onun ölüm ilanını yayımladı, başlık "Ölüm tüccarı öldü" idi. Kendi ölüm ilanını okudu ve birkaç yıl sonra vasiyetini yazdı.

Bugün kimse ona ölüm tüccarı demiyor.

"Nobel" nötr bir isim haline geldi, tıpkı "Volt" ve "Watt" gibi, duygusuz, sadece bir birim. Parayı "insanlığa en büyük katkıyı yapanlara" verdi, para insanlığın eline geri döndü ve adı da nötrlüğe geri döndü; savunmayla değil, yüz yılı aşkın ödül listesiyle.

Bu hikayeyi anlatıyorum çünkü onu anlıyorum. Paranın nereden geldiğini biliyorum ve paranın nereye gidebileceğini de biliyorum.

İki

Benim servetimin kökü matematiktir.

Blokzincir sektörü bir bütün olarak, uzun süreli araştırmalarla desteklenen birkaç kriptografik yapı ve güvenlik varsayımı üzerine kuruludur: eliptik eğriler üzerindeki ayrık logaritmanın

çözülemezliği, hash fonksiyonlarının tersine çevrilemezliği, büyük sayıların çarpanlarına ayrılamaması. 1985'te iki matematikçi birbirinden bağımsız olarak eliptik eğrilerin şifreleme için kullanılabileceğini düşündü; biri üniversitede, diğeri IBM'de, birbirlerini tanımıyorlardı. O yıl kimse bunun işe yarayacağını düşünmedi. Tahtaya yazdıkları şeyler sonradan trilyon dolarlık bir pazara dönüştü, eşi görülmemiş bir şeye dönüştü — bir kişinin servetini tamamen kendi kontrolünde tutabilmesi, kimsenin iznine ihtiyaç duymadan. Kendileri ise tek kuruş almadı.

Bu özgürlük, matematiğin insanlığa en az değer verilen armağanlarından biridir. Ben bu armağandan çok şey aldım. Bu ödülü kurmak, her şeyden önce bir borç ödemektir.

Üç

Nobel Ödülü'nde matematik ödülü yok. Bu yüz yıldan fazla önce yapılmış bir ihmal, belki kişisel bir nedeni vardı, belki de sadece akla gelmemişti.

Sonradan Fields Madalyası geldi, dört yılda bir, kırk yaş altı; Abel Ödülü geldi, her yıl, bir ömür boyu başarıyı ödüllendiriyor. İkisi de çok iyi, ama ritimleri önceki çağın ritmi.

Matematik dünyasında aslında başka bir ödül vardı. Erdős hayatı boyunca problemlere fiyat biçti, yirmi beş dolardan on bin dolara kadar; kim çözerse ona bir çek yazdı. Birçok kişi çeki duvara çerçeveletti, hayatı boyunca bozdurmadı. 1996'da vefat etti, sonrasında o tür çekler giderek azaldı.

Ve matematik farklı bir çağa giriyor. Yapay zeka deney yapamaz, ama türetme yapabilir; yapay zeka bir fizikçi için çarpıştırıcı inşa edemez, ama bir matematikçi için on bin yol deneyebilir. Bugün bir varsayımın ortaya atılmasından çözülmesine kadar geçen süre, belki birkaç ay, belki birkaç gün olabilir. Dört yılda bir verilen bir ödül, böyle bir hız karşısında, günle sayılan bir çağda asılı duran, dört yılda bir çalınan bir çan gibi.

Dört

Yani Sun Yuchen ödülünün kuralları çok basit.

Ödül sorunun peşinden gider, kişinin peşinden gitmez. Yıllık toplantıyı beklemez, adaylığı beklemez, yaşı beklemez.

Her sorunun iki imza sütunu vardır. Bir sütun kanıtlayanı kaydeder, bir sütun biçimlendireni, yani kanıtı makineye taşıyanı. İki sütun aynı kişi olabilir ya da dünyanın yarısı kadar uzakta birbirini tanımayan kişiler olabilir. İnsan olabilir, yapay zeka olabilir, insanın yapay zeka kullanması da olabilir; hangi sütunda olduğu umurumda değil, türü hiç umurumda değil. Aynı isim tekrar tekrar görünebilir, hangi sütunda göründüğü fark etmez.

Paranın tek bir tetikleyicisi vardır: makine kanıtı ilk satırdan son satıra kadar, tek bir adımı bile atlamadan doğrular. Geçtikten sonra, iki sütundaki isim listesi bu sorunun ödül sahipleridir. Bu standardı ben icat etmedim. Scholze en önemli teoremini ortaya koydu ve makineye taşınmasını istedi; Fermat'nın Son Teoremi şu anda satır satır içeri taşınıyor.

Makine doğrulamadan önce, insan kanıtı da boşa gitmez. Matematik camiası kabul eder, isim önce kaydedilir, para bir kuruş bile hareket etmez, durum çubuğunda şöyle yazar: Kanıtlandı, biçimlendirme bekliyor.

Çözüm sütunundaki para, yalnızca listeye girdikten sonra çözülen sorunlara ödenir. Listeye girdiğinde zaten çözülmüş olanlar için, kanıtlayanın adı yine kaydedilir, para yalnızca onu makineye taşıyana ödenir. Bu ödül, kurulduktan sonra meydana gelen olayları kaydeder, matematik tarihine geriye dönük ikramiye vermez.

İş bölümü temizdir: isimler matematik camiasına aittir, para makineye aittir, fon sağlayıcı ikisine de dokunmaz. İnsanın muhakemesinden geriye tek bir şey kalır: makineye yazılan sorunun, o soru olduğunu doğrulamak.

Son bir şey daha var ki ona ben karar veririm: soru listesi. Hangi soru listeye girer, hangi fiyatla açılır, benim imzamla olur. Erdős'ün çeki de kendi yazdığı fiyattı, burada istisna yok. Ama raf bir kez asıldı mı kilitlenir: sorular yalnızca eklenir, çıkarılmaz; para yalnızca ödenir, iade edilmez; ben dahil kimse değiştiremez. Yanlış yazılmış soru, yine ödenir, sonra yeniden asılır.

Benim zevkim tamamen bu tek şeye harcanır. Fiyatlandırmanın dışında, doğrulama, para dağıtımı, isim kaydı — hiçbirinde oyum yok.

Sonuç belirler.

Beş

Bu kurallar içinde en sevdiğim şey bir "bekle" kelimesi.

Bir problem çözüldükten ve matematik camiası tarafından kabul edildikten sonra para hemen harekete geçmez. Önce kanıtlayanın adı yazılır, biçimlendirme sütunu boş kalır, durum çubuğunda şöyle yazar: Kanıtlandı, biçimlendirme bekliyor. Bu kanıtı makineye kim taşırsa, makine doğrularsa, boş sütuna ad yazılır ve paranın aidiyet yolculuğu o anda başlar.

Diğer ödüllerde beklemek gecikmedir, prosedürdür, gerekli bir kötülüktür. Burada beklemek başlı başına bir listedir.

Erdős'ün çeki, birçok kişi tarafından duvara çerçeveletilir, ömür boyu bozdurulmaz. Çerçevelenmiş para geriye bakar, bir anıdır; zincire asılmış para ileriye bakar, bir çağrıdır. Orada boş duran sütun, tüm dünyaya şunu söylemek gibidir: Burada bir iş var, hem de bedeli olan.

Böylece bu soru listesi aynı zamanda başka bir şeyi de büyütür: İnsanlığın kabul ettiği, makinenin henüz kabul etmediği her şeyi işaretleyen kamuya açık bir harita. Bu harita bugün mevcut değil. Yalnızca parçaları var, birkaç yere dağılmış, hiçbir zaman birleştirilmemiş, hele hele hiçbir zaman bir bedel taşımamış.

Biçimlendirme yapanlarda hiçbir zaman coşku eksik olmaz; eksik olan, bedeli yazılı bir inşaat planıdır. O boşluğu kim doldurursa, parayı o alır. Bundan sonra, uzun kanıtları makineye taşımak onların coşkusu olarak kalsın, fatura bana ait.

Altı

Bir de zevkten bahsetmek istiyorum. Bu ödülü Nobel'den gerçekten ayıran yer burasıdır.

Nobel bir mucittir. Hayatı boyunca bir şeyin faydalı olması gerektiğine, yere basması gerektiğine, üretilmesi, satılması, insanların hayatını değiştirmesi gerektiğine inandı. Bu onun zevkiydi ve ödülüne de kazınmıştı: Fizik, kimya, tıp, edebiyat, barış; her biri gerçek dünyaya verilen bir ödüldür. Yüz yılı aşkın süredir bu ödül, binayı yere dikenleri ödüllendiriyor.

Benim zevkim farklı ve kaynağını gizlemeye niyetim yok. Dario Amodei'nin "Sevgi Dolu Makineler" (Machines of Loving Grace) adlı eserini okudum ve orada yazdığı o tabloyu derinden onaylıyorum: Bir veri merkezine yerleştirilmiş bir dahi ülkesi.

Onaylamamın sebebi, benim de aynı şeyi yapıyor olmam. Blockchain ilk günden beri havada inşa edilmiş bir krallıktır: Fabrika yok, maden yok, toprak yok; yalnızca konsensüs ve matematik var. Ben de yapay zeka ile bu krallığa tuğla ekliyorum. Bu yüzyılda insanlığın en önemli yapılarının hatırı sayılır bir kısmının havada inşa edileceğine inanıyorum ve havadaki krallığın

temeli ancak saf akıl yürütme olabilir. Hardy 1940'ta "Bir Matematikçinin Savunması"nda, sayılar teorisinin asla herhangi bir pratik kullanımı olmayacağı için memnun olduğunu yazmıştı. Seksen yıl sonra, sayılar teorisi benim sektörümün temelidir.

Yani ben ve Nobel farklı yönler seçtik. O yere inen şeyleri ödüllendiriyor, ben havada asılı ama kusursuzca birbirine geçen şeyleri ödüllendiriyorum. Bu kimin haklı kimin haksız olduğu değil, iki çağ, iki zevk meselesidir. Bu havadaki krallık düşüncesini bir ödül aracılığıyla yıldan yıla aktarmak istiyorum.

Yedi

2007 sonbaharında, üç kişi aynı yıl Pekin Üniversitesi'ne girdi. Biri Shenzhen'den geldi, matematik olimpiyatı altın madalyasıyla doğrudan Matematik Fakültesi'ne girdi; biri Guilin'den geldi, önce Dünya ve Uzay Bilimleri okudu, sonra matematiğe geçti; biri Huizhou'dan geldi, tarih okuyordu.

On dokuz yıl sonra, ilk ikisi Philadelphia'da aynı ödül kürsüsüne çıktı. Wang Hong ve Deng Yu

2026 Fields Madalyası'nı kazandı.

Üçüncü kişi, geçtiğimiz günlerde uçağın yatak bölmesinde Zhihu'da bu habere rastlayan kişiydi. Telefonunu bıraktı, ilk düşüncesi gurur değildi. Şuydu: Bizim neslimiz de artık bir şeyler yapma zamanına geldi.

Onlar kanıtla katkıda bulunuyor. Ben kanıtlayamam. Yapabileceğim şey, kanıtlayanların para almasını sağlamak.

Sekiz

Geçtiğimiz yıllarda birçok dağınık hayır bağışı yaptım. Bundan sonra hayırseverlik odağımı bu ödüle kaydıracağım. Tek bir nedenle: Bu, insanlık için yapabileceğim en büyük katkı.

Ödül şu an yalnızca matematiğe odaklanıyor.

Dokuz

Bir şey daha: Bu ödül neden benim adımı taşıyor.

İki neden.

Birincisi, insan adıyla anılan ödüller dünyadaki en politik olmayan şeylerdir. Nobel, Fields, Abel, Turing, Wolf — matematik ve bilim dünyasının en uzun ömürlü ödülleri neredeyse hep bir kişinin adını taşır. Ülkeler değişir, kurumlar adını değiştirir, şirketler batar; ama bir kişinin adı bir ödüle kazındığında, artık kimse onu değiştiremez.

İkincisi, kendime bir hesap verme. Otuz altı yaşındayım, biriktirdiğim servet ihtiyacım olan miktarı çoktan aştı. Bir insanın serveti bir yöne sahip değilse, sonunda sadece miras davalarına ve müzayede satış kayıtlarına dönüşür. Ben bu paraya, henüz aklım başındayken kendi elimle bir yol çizmek istiyorum: Matematikten geldi, matematiğe dönsün.

Kendi tartışmalarıma gelince, liste tek cevaptır. Şu an kimsenin bana inanmasını istemiyorum.

Sun Yuchen Ödülü beklemeyi bilir.

On

Son bir şey. Bu ödül kimsenin kimseye güvenmesini gerektirmiyor; tek ihtiyacınız makinenin doğrulamasına inanmak, makine ise yalnızca mantığı tanır. İlk ödül havuzu blokzincire yatırıldı, adres açık, bakiye tüm dünyanın görebileceği şekilde. Ben yalnızca içine para ekleme hakkımı saklı tuttum.

Ödül kazanan her kanıt açıklanacak, herkes geçerli olup olmadığını kendisi kontrol edebilecek; bana inanmasına da gerek yok, herhangi bir komiteye inanmasına da. Her ödül ödemesi zincirde kalacak, açık, değiştirilemez, yüz yıl sonra bile doğrulanabilir. Bir kanıt bir kez geçerli olduğunda sonsuza dek geçerlidir; kanıtlayana verilen karşılığın da aynı nitelikte olmasını istiyorum.

Ben matematikçi değilim. Ben bir seyirciyim, ödemeyi yaparım. Gerisi, ispata kalmış.

Orijinal bağlantı

BlockBeats Resmi Topluluğuna Katılın:

Telegram Abonelik Grubu: https://t.me/theblockbeats

Telegram Sohbet Grubu: https://t.me/BlockBeats_App

Twitter Resmi Hesabı: https://twitter.com/BlockBeatsAsia