Sun Yuchen Ödülü’nde ilk 6 aday incelendi, ödül ödeme süreci başladı

Sun Yuchen Ödülü’nü yürüten kuruluş, ilk ödül adaylarından 6’sının kamuya açık incelemesini ve uygunluk değerlendirmesini tamamladı. Yazılı teyit ve ödül ödeme süreci başlatılırken toplam ödül havuzu 10 milyon dolar olarak açıklandı.

Kuruluş, 4 Ekim’de problem bankasındaki 305, 371, 381, 526, 866 ve 1001 numaralı adaylar için 14 günlük duyuru süresinin sona erdiğini ve sonuçlanmamış bir itiraz alınmadığını bildirdi. Adayların uygunluk incelemesinin ardından kazananlardan yazılı teyit alınacak ve ödüller ödenecek. Duyuru, ödeme sürecinin başladığını gösteriyor; transferlerin tamamlandığı anlamına gelmiyor.

Resmî GitHub problem bankası kayıtları ile 24 Eylül’de yayımlanan aday listesi karşılaştırıldığında, 305, 371 ve 381 numaralı problemlerde biçimsel doğrulama, 866 ve 1001 numaralı problemlerde matematiksel çözüm adaylarının yer aldığı görülüyor. 526 numaralı problemde ise hem çözüm hem biçimsel doğrulama rolleri için aday bulunuyor. Biçimsel doğrulama, matematiksel bir kanıtın bilgisayarın adım adım kontrol edebileceği belirli bir formatta yazılması sürecidir.

Kurallara göre toplam ödülün yüzde 70’i problem çözücüsüne, yüzde 30’u biçimsel doğrulayıcıya veriliyor. Aynı kişi iki rolü de üstlenirse ödülün tamamını alabiliyor. Adayların resmî e-posta yoluyla ödülü kabul ettiklerini teyit etmeleri, ödeme ve posta bilgilerini iletmeleri gerekiyor. Ödemeler TRC20 tabanlı Tether (USDT) veya ERC20 tabanlı USD Coin (USDC) ile yapılacak.

TRON’un kurucusu Sun Yuchen (Justin Sun), Sun Yuchen Ödülü’nü 16 Eylül’de kurdu. Kuruluş, temel bilimlerdeki başarıları ve makinelerce doğrulanabilen kanıtları desteklemek amacıyla oluşturulan ödülde, her problem için en fazla 1 milyon dolar verileceğini açıkladı. Kuruluş günü ilk listeye 66 matematik problemi eklendi. Ayrıca OpenAI araştırma ekibine, üç boyutlu Navier–Stokes denklemlerinin varlığı ve düzgünlüğü problemine yönelik çözüm çalışması ve biçimsel kanıtı nedeniyle en yüksek ödülün verildiği duyuruldu.

Kuruluş, 22 Eylül’de ödül havuzunun adresini yayımlayarak bu adrese 10 milyon dolar yatırdığını bildirdi. Ödeme kayıtlarının da izlenebilmesi için blokzincirde tutulacağını belirtti. Problem bankasında şu anda 1.022 problem bulunuyor ve kuruluş, açık listedeki problem sayısının artırılabileceğini söyledi.

Kuruluş, ödül başvurusunda bulunanlardan parola, özel anahtar veya kurtarma ifadesi istemediği ve ödemenin etkinleştirilmesi için para gönderilmesini talep etmediği uyarısında bulundu. 239 ve 327 numaralı problemlerin adayları için duyuru süreci 30 Eylül’de başladı ve devam ediyor.