I
Alfred Nobel, servetinin büyük bölümünü kazandıran dinamiti icat etti.
Efsaneye göre 1888'de bir Fransız gazetesi, yanlışlıkla onun ölüm ilanını "Ölüm taciri öldü." başlığıyla yayımladı. Nobel kendi ölüm ilanı okudu ve birkaç yıl sonra vasiyetini kaleme aldı.
Bugün kimse ona "ölüm taciri" demiyor.
"Nobel", tıpkı "volt" veya "watt" gibi nötr bir terim haline geldi—duygulardan arındırılmış, sadece bir ölçüm birimi. Servetini "insanlığa en büyük yararı sağlayanlara" bıraktı. Serveti insanlığa geri döndü ve adı, kendini aklama yoluyla değil, bir asırlık ödül sahipleri listesi aracılığıyla nötrlüğünü yeniden kazandı.
Bu hikayeyi paylaşıyorum çünkü onu anlıyorum. Servetin nereden geldiğini ve nereye gidebileceğini biliyorum.
II
Servetim matematiğin üzerine inşa edildi.
Blockchain endüstrisinin tamamı, iyi incelenmiş birkaç kriptografik yapı taşı ve matematiksel varsayım üzerine kuruludur: eliptik eğriler üzerinde ayrık logaritma probleminin çözülmesinin zorluğu, hash fonksiyonlarının geri dönüşümsüzlüğü ve büyük sayıların çarpanlarına ayrılmasının imkansızlığı. 1985'te iki matematikçi, birbirinden habersiz olarak, eliptik eğrileri kriptografi için kullanma fikrini bağımsız olarak geliştirdi—biri üniversitede, diğeri IBM'de. O zamanlar kimse bunun pratik bir kullanım alanı olduğunu görmüyordu. Karatahtaya çizdikleri taslaklar, daha sonra trilyon dolarlık bir pazara dönüştü ve bireylere benzeri görülmemiş bir şey verdi: gerçek, izne tabi olmayan finansal egemenlik. Ancak bu devrimi mümkün kılan o iki matematikçi, bundan tek bir kuruş bile kazanmadı.
Bu özgürlük, matematiğin insanlığa sunduğu en derinden hafife alınan hediyelerden biridir. Bu hediyeden çok şey aldım. Bu ödülü kurmak, her şeyden önce, o temele olan borcumu ödeme şeklimdir.
III
Matematik dalında Nobel Ödülü yoktur. Bu eksiklik bir asırdan fazladır sürüyor—belki kişisel nedenlerden, belki de basit bir gözden kaçırma sonucu.
Daha sonra, kırk yaş altındaki matematikçilere dört yılda bir verilen Fields Madalyası ve ömür boyu başarıyı onurlandırmak için her yıl verilen Abel Ödülü geldi. İkisi de olağanüstüdür, ancak ritimleri geçmiş bir çağa aittir.
Ancak matematik topluluğunun kendi geleneği vardı. Paul Erdős, hayatını çözülmemiş matematik problemlerine para ödülleri koyarak geçirdi; 25 dolardan 10.000 dolara kadar değişen miktarlarda. Bir problemi çözen herkes ondan bir çek alırdı. Birçoğu bu çekleri duvarlarına astı ve hayatta iken hiç bozdurmadı. Erdős 1996'da vefat etti ve o zamandan beri bu tür ödüller nadir hale geldi.
Matematik artık tamamen yeni bir çağa giriyor. Yapay zeka fiziksel deneyler yapamaz ama mantıksal çıkarımda üstündür. Fizikçiler için parçacık hızlandırıcı inşa etmekte zorlanabilir, ancak bir matematikçi için on binlerce yol keşfedebilir. Bugün, bir hipotez önermek ile onu kanıtlamak arasındaki süre aylar, hatta günler olabilir. Böyle benzeri görülmemiş bir hız karşısında, dört yılda bir verilen bir ödül, günlük değişen bir dünyada yavaşça çalan bir çan gibidir.
IV
Bu nedenle, Justin Sun Ödülü'nün tasarımı son derece basittir.
Ödül, kişiyi değil, çözümü ödüllendirir. Yıllık galalar yok, bürokratik adaylıklar yok, yaş sınırlaması yok.
Her meydan okuma, iki farklı katkıda bulunanı tanır: ispatlayıcı ve biçimlendirici—yani kanıtı makine tarafından doğrulanabilir bir formata çeviren kişi. Bu roller aynı kişi tarafından veya dünyanın diğer ucundaki yabancılar tarafından üstlenilebilir. İnsan, yapay zeka veya ikisinin melez olması fark etmez—ben sadece sonuca önem veririm, katkının insana mı yoksa makineye mi ait olduğuna değil. Aynı isim, hak ettiği her yerde tekrar tekrar görünebilir.
Ödeme tek bir tetikleyiciye sahiptir: makine, kanıtı ilk satırdan son satıra kadar hatasız bir şekilde doğrulamalıdır. Doğrulama geçtiğinde, iki sütunda listelenen kişiler, o problem için ödülün sahipleridir.
Bu standardı ben icat etmedim—Peter Scholze, dönüm noktası niteliğindeki teoremini çevrimiçi olarak yayınladı ve topluluğu bunu makine doğrulaması için biçimlendirmeye çağırdı; Fermat'ın Son Teoremi şu anda, satır satır, kod'a çevrilirken biz konuşuyoruz.
Ancak insan başarısı, makine işini tamamlamadan çok önce tanınır. Matematik topluluğu bir kanıtı kabul ettiğinde, ispatlayıcının adı resmen tanınır. Fonlar kilitli kalır ve durum şöyle güncellenir: "İspatlandı, biçimlendirme bekleniyor."
Problemi çözme ödülü, yalnızca resmi kayda eklendikten sonra çözülen meydan okumalar için geçerlidir. Bir problem zaten çözülmüş olarak dahil edilirse, ispatlayıcının adı yine de kaydedilir, ancak ödül tamamen onu makine için biçimlendirene gider. Bu ödül, tarih yazılırken onu belgelemektedir; önceden yapılmış işler için geriye dönük ödüller vermez.
Sınırlar net bir şekilde çizilmiştir: kredi matematik topluluğuna, ödül makineye aittir ve finanse eden kişi her ikisinden de sıkı bir bağımsızlık korur. İnsan yargısı yalnızca bir şey için saklıdır: makineye kodlanan problemin gerçekten doğru problem olduğunu onaylamak.
Benim otoritem tek bir şeyle başlar ve biter: liste. Hangi meydan okumaların eklendiği ve hangi ödüllerle geldikleri—bu tamamen benim takdirime bağlıdır. Erdős, çeklerine tutarları kendisi yazardı ve bu gelenekten sapmak için hiçbir sebep görmüyorum. Ancak bir ödül listelendiğinde, sabitlenir: problemler yalnızca eklenebilir, asla kaldırılamaz; fonlar yalnızca ödenebilir, finanse eden kişi tarafından asla geri alınamaz.
Kimse, ben dahil, buna müdahale edemez. Eğer bir meydan okuma yanlış çerçevelenirse, ödül yine de ödenir ve düzeltilmiş versiyon yeniden listelenir.
Kişisel odağım tamamen bu tek göreve yoğunlaşmıştır. Ödülleri fiyatlandırmanın ötesinde, doğrulama, ödeme veya isimlerin atfedilmesi konusunda oy hakkım yoktur.
Sonuçlar kendi başına konuşur.
V
Bu kuralların en etkileyici yönü "bekleme"dir.
Bir problem çözüldükten ve matematik topluluğu tarafından kabul edildikten sonra, ödül hemen verilmez. İspatlayıcının adı önce yükselir, biçimlendirme sütunu boş kalır ve durum şunu gösterir: "İspatlandı, biçimlendirme bekleniyor." Biri o kanıtı biçimlendirdiğinde ve makine onu doğruladığında, adı boş sütuna girilir ve ödül mülkiyetinin tesis süreci o anda başlar.
Diğer ödüllerde bekleme, ölü bir süredir—bürokratik bir süreç, gerekli bir kötülük. Burada bekleme, yapılacak işlerin açık bir envanteridir.
Birçok kişi Erdős'un çeklerini duvarlarına astı ve hiç bozdurmadı. Bozdurulmamış bir çek geçmişin anıtıyken, zincir üzerinde kilitli ödül geleceğin katalizörüdür. O boş slot, dünyaya fiilen şunu duyurur: Tarihi bir görev bekliyor ve yanında bir ödül var.
Bu problem listesinden çok daha büyük bir şey büyür: İnsanlığın kabul ettiği ancak makinelerin henüz doğrulamadığı her şeyi haritalayan kamuya açık bir harita. Böyle bir harita bugün mevcut değildir. Sadece parçalı olarak, dağınık platformlarda var—hiçbir zaman birleştirilmemiş ve kesinlikle fiyat etiketleri yok.
Biçimlendirme üzerinde çalışanların tutku eksikliği hiç olmadı; eksik olan, net ödüllerle donatılmış bir plan. Ödül, görevi tamamlayana gider. Bu günden itibaren, uzun kanıtları makinelere besleme tutkusu onların sorumluluğunda kalacak, ancak finansal destek benim sorumluluğumdur.
VI
Ayrıca rehber felsefe hakkında da konuşmak istiyorum. Ödülün Nobel'den gerçekten ayrıldığı nokta burasıdır.
Nobel bir mucitti. Hayatı boyunca, bir şeyin faydalı olması gerektiğine inandı—gerçekliğe kök salmalı, inşa edilmeli, satılmalı ve insanların yaşam biçimini değiştirmeliydi. Rehber felsefesi buydu ve adını taşıyan ödüllere kazınmıştı: fizik, kimya, tıp, edebiyat, barış. Her biri somut, gerçek dünya etkisi olan çalışmaları ödüllendirir. Bir asırdan fazla bir süredir Nobel, sağlam zemin üzerinde inşa edenleri onurlandırıyor.
Benim rehber felsefem farklı ve kökenlerini gizlemek için hiçbir sebebim yok. Dario Amodei'nin Machines of Loving Grace (Sevgi Dolu Zarafet Makineleri) denemesini okudum ve çizdiği vizyonu paylaşıyorum: Bir veri merkezinin içinde yaşayan dahi ulusları.
O nihai hedefe doğru çalıştığım için bu vizyonu paylaşıyorum. Başlangıçtan itibaren blockchain, tamamen soyut olarak inşa edilen bir alan oldu—fabrikalar, madenler veya toprak yok, sadece konsensüs ve matematik. Yapay zeka alanındaki çalışmalarım, o alanı genişletmenin başka bir yoludur. Bu yüzyılda insanlığın en önemli yapılarının büyük bir kısmının dijital alemlerde var olacağına ve saf akıl yürütmenin böyle bir alemin inşa edilebileceği tek temel olduğuna inanıyorum. 1940'ta G. H. Hardy, A Mathematician’s Apology (Bir Matematikçinin Savunması) kitabında, sayılar teorisinin asla pratik bir kullanımı olmayacağı için mutlu olduğunu yazdı. Seksen yıl sonra, sayılar teorisi benim endüstrimin temelidir.
Nobel ve ben farklı yönler seçtik. O, somut, gerçek dünya uygulamalarını ödüllendirdi; ben ise saf teorik olanı—kusursuz mantıksal hassasiyetle inşa edilmiş soyut yapıları ödüllendiriyorum. Hiçbir yaklaşım diğerinden üstün değildir; ikisi de iki çağı ve iki ayrı paradigmayı yansıtır. Soyut, mantık odaklı bir krallığın bu vizyonunu, bir ödül aracılığıyla yıl yıl aktarmak istiyorum.
VII
2007 sonbaharında, üç öğrenci aynı yıl Peking Üniversitesi'ne kaydoldu. Biri Shenzhen'den geldi, Olimpiyat altın madalyası sahibiydi ve Matematik Bilimleri Fakültesi'ne girdi. Diğeri Guilin'den geldi, Dünya ve Uzay Bilimleri'nde başladı, ardından matematiğe geçti. Üçüncüsü Huizhou'dandı ve tarih okudu.
On dokuz yıl sonra, ikisi Philadelphia'da sahneyi paylaştı. Wang Hong ve Deng Yu, 2026 Fields Madalyalarını aldı.
Üçüncüsü, özel jet kabini üzerinden internette gezinirken haberleri yakın zamanda okudu. Telefonu indirdi. İlk düşüncesi gurur değildi. Şuydu: Bizim neslimiz olgunlaştı. Kendi katkımızı yapma zamanımız geldi.
Onların katkısı teoremleri kanıtlamak. Benimki ise bunun için ödüllendirilmelerini sağlamak.
VIII
Yıllar boyunca, hayırseverlik çabalarım çeşitli girişimlere dağılmıştı. Bundan böyle, tüm odağımı bu ödüle yoğunlaştırıyorum—çünkü bu, insanlığa potansiyel olarak en önemli katkımı temsil ediyor.
Şimdilik, bu bir matematik ödülü.
IX
Bu ödülün neden benim adımı taşıdığına dair son bir nokta: iki ana neden var.
Birincisi, bir kişinin adını taşıyan bir ödül, kurumsal siyasetin ötesine geçen nadir şeylerden biridir. Nobel, Fields, Abel, Turing, Wolf—matematik ve bilimlerdeki en kalıcı ödüller neredeyse tamamen bireylerin adını taşır. Uluslar değişir, kurumlar markalarını yeniler, şirketler kaybolur. Bir isim bir ödüle konduğunda, orada kalır. Kimse onu yeniden yazmaz.
İkincisi, bunu kendime borçluyum. Otuz altı yaşındayım. Zaten biriktirdiğim servet, ihtiyacım olandan fazla. Amaçsız servet, miras anlaşmazlıklarına yol açar ve sadece müzayede evi kayıtlarına dönüşür. Akıl sağlığım yerinde ve yetkin olduğum sürece, bu serveti kendim yönlendirmek istiyorum: Matematiğinden geldi ve matematiğe geri dönüyor.
Hakkımdaki herhangi bir kamuoyu incelemesine gelince, bırakın ödül sahipleri listesi kendi başına konuşsun. Bugün kimsenin beni sözlü olarak kabul etmesini beklemiyorum.
Justin Sun Ödülü, zamanın testine dayanmak üzere inşa edilmiştir.
X
Kapanış olarak, bu ödül insanlar arasında güven gerektirmez. Doğrulama matematikseldir. Makine yalnızca mantığa cevap verir. İlk ödül havuzu zaten blockchain'e aktarıldı. Adres kamuya açıktır ve herkes bakiyeyi görebilir. Ben yalnızca daha fazla fon ekleme hakkını saklı tutuyorum.
Her kazanan kanıt kamuya açık olacak, böylece herkes onu kendisi inceleyebilir. Güven gerekmez—ne bana ne de herhangi bir komiteye. Her ödeme zincir üzerinde kalacak—kamuya açık, değiştirilemez ve yüz yıl sonra bile doğrulanabilir. Bir kanıt bir kez tesis edildiğinde, sonsuza dek ayakta durur. İspatlayıcıya verilen ödülün de aynı kalıcı sürekliliği yansıtmasını umuyorum.
Ben bir matematikçi değilim. Sadece bir gözlemci ve bir hamiyim. Gerisi kanıtlara bırakılmıştır.
Justin Sun
Justin Sun Ödülü hakkında daha fazla bilgi için lütfen aşağıdaki resmi kanalları ziyaret edin:
Resmi Web Sitesi: hejustinsun.com/prize
GitHub: github.com/TheJustinSunPrize
