6 aday ve 14 günlük açık doğrulama: Justin Sun Ödülü süreci başladı

Justin Sun Ödülü için ilk 6 aday, 19 Eylül'den itibaren 14 gün sürecek açık doğrulama sürecine girdi. Adayların kayda alınması, nihai ödül kararını değil, matematiksel çözümler ve biçimsel kanıtlara yönelik itiraz sürecinin başladığını gösteriyor.

Resmi GitHub aday kayıtlarında 305, 371, 381, 526, 866 ve 1001 numaralı problemler yayımlandı. 305, 371 ve 381 numaralı problemler biçimsel doğrulayıcı adayları olarak kaydedilirken, 866 ve 1001 numaralı problemler matematik problemi çözücü adayları olarak listelendi. 526 numaralı problemde ise her iki rol için de aday bulunuyor.

Aday kayıtları, kamuya açık listelemenin ödül veya ödül sahibi kimliğinin doğrulandığı anlamına gelmediğini belirtiyor. Üçüncü taraflar sonuçların doğruluğu, katkının kime ait olduğu, öncelik sırası ve biçimsel doğrulamanın yapılıp yapılmadığı gibi konulara itiraz edebiliyor.

Açık doğrulama tamamlandıktan sonra çözümlenmemiş bir itiraz kalmaması, ödül sahibinin yazılı teyidinin ve kimlik doğrulamasının tamamlanması gerekiyor. İşletim kurallarına göre kamuya açık itiraz süresi 14 gün.

Justin Sun(Justin Sun) TRON kurucusu, ödülü problem listesine dayalı 'sıfır güven' yaklaşımına sahip merkeziyetsiz bir akademik ödül sistemi olarak tasarladı. Justin Sun, “Ben matematikçi değilim, sadece gözlemciyim ve parayı ben ödüyorum. Geri kalanını kanıta bırakıyorum” dedi.

Bu açıklama, ödül kararını kişi veya kurumların itibarından ziyade problem çözümüne ve makine tarafından doğrulanabilir kanıtlara bağlama amacını ortaya koyuyor. Operasyon ekibi, matematiksel çözüm ile Lean biçimsel kanıtını ayrı ayrı inceleyerek katkı sahiplerini belirliyor.

Resmi depoda şu anda 1.022 matematik problemi kayıtlı. Problem listesinde Poincaré varsayımı, Riemann hipotezi, Goldbach varsayımı ve matematikçi Paul Erdős tarafından ortaya atılan çözülmemiş problemler yer alıyor.

Biçimsel kanıt, matematiksel mantığın Lean gibi sistemlere aktarılması ve makine tarafından doğrulanabilir bir sonuç haline getirilmesi anlamına geliyor. Daha önce Justin Sun'ın makine doğrulamasından geçen matematiksel kanıtlar için ödül teklif ettiği tasarı da kanıt sahipleri ile biçimsel hale getirme çalışmalarını ayrı ödül kategorileri olarak ele almıştı.

Problem başına en yüksek ödül 1 milyon dolar (yaklaşık 1,365 milyar Güney Kore wonu). Operasyon ekibi, ödül havuzu adresinde 10 milyon doların (yaklaşık 13,65 milyar Güney Kore wonu) tutulduğunu açıkladı.

Ödüllerin Tether (USDT) TRC20 veya USD Coin (USDC) ERC20 üzerinden ödenmesi planlanıyor. Ödüllerin kripto varlıklarla verilmesi ve ödeme kayıtlarının blokzincirde tutulması da sistemin bir parçası.

Justin Sun Ödülü 16 Eylül'de başlatıldı. Operasyon ekibi lansman sırasında 66 matematik probleminin çözümünü ve biçimsel kanıtını ilk takdir kapsamına aldı; açık kaynak ve kamuya açık doğrulamayı işletim ilkeleri olarak belirledi.

Operasyon ekibi, milliyet veya kurumsal mensubiyete dayalı katılım kısıtlaması uygulamadığını ve insanlarla yapay zekâ arasındaki iş birliğini ayırmadığını açıkladı. Problem listesi, doğrulama ölçütleri, kanıtlar ve doğrulama materyalleri GitHub üzerinden yayımlanacak.

Ödül kapsamına orijinal problemin eksiksiz matematiksel çözümü ile eksiksiz Lean kanıtı giriyor. Birden fazla kişinin birlikte tamamladığı çalışmalarda toplam ödülün yüzde 70'i matematik problemi çözücüsüne, yüzde 30'u biçimsel doğrulayıcıya verilecek. Bir kişi iki rolü de üstlenirse ödülün tamamını alabilecek.

Operasyon ekibi, 1 Ocak 2026'dan sonra gerçekleştirilen matematiksel ilerlemeleri ödüllendireceğini açıkladı. Çözüm daha önce ortaya konmuş olsa bile biçimsel doğrulama daha sonra tamamlanırsa biçimsel katkı sahibi ödül kapsamına girebilecek.

Şu anda kamuya açık 6 kayıt adaylık aşamasında bulunuyor. Kamuya açık itiraz, yazılı teyit ve kimlik doğrulama süreçleri devam ediyor. Doğrulama tamamlandıktan sonra nihai ödül sahiplerinin belirlenmesi ve ödüllerin ödenmesi bekleniyor.