Justin Sun, 66 matematik problemine ödül açıkladı: En yüksek ödül 1 milyon dolar

Justin Sun(Justin Sun), 66 matematik problemine dereceye göre ödül verilecek 'Justin Sun Prize' programını açıkladı. Resmi kurallara göre Pinnacle seviyesindeki tek bir problem için ödül 1 milyon dolara (yaklaşık 1,4 milyar won) kadar çıkıyor.

Justin Sun, 16'sında resmi internet sitesinde matematik problemlerinin çözümleri ve makine tarafından doğrulanabilir biçimsel hale getirme çalışmaları için ödül verileceğini duyurdu. Ödemeler Tether (USDT) veya USD Coin (USDC) ile yapılacak. Açıklamada, kanıtın baştan sona makine doğrulamasından geçmesi gerektiği belirtildi.

Resmi bilgilendirmeye göre problem kaydedildikten sonra ödül kilitlenecek ve sponsor ödülü geri alamayacak. Ödül fonları ile ödeme kayıtları kamuya açık ve zincir üzerinde yönetilecek.

Resmi SSS bölümünde ödül fonunun Justin Sun'ın kişisel kaynaklarından oluşturulacağı ve ödemelerin işletmeci tarafından yapılacağı belirtildi. Kazananların kimlik doğrulama ve ödeme prosedürlerinden geçmesi gerekecek.

Ödüller, matematiksel kanıt sunan kişiler ile bu kanıtları makinenin doğrulayabileceği Lean formatına dönüştüren çalışanları kapsıyor. İki rol ayrı ayrı kabul edilebilecek ve ödül problem çözücüsü ile biçimselleştirme çalışanı arasında paylaştırılabilecek.

Biçimsel doğrulama, matematiksel bir kanıtı veya program mantığını belirlenmiş kurallar çerçevesinde makinenin kontrol edebileceği koda dönüştürme sürecidir. Program, doğal dille sunulan çözümlerin yanı sıra doğrulanabilir biçimselleştirme çalışmalarını da ödüllendirecek.

Ödül programı, daha önce makine doğrulamasından geçen matematiksel kanıtlara ödül verilmesi yönündeki taslağın ayrıntılandırılmış hali. Önceki bilgilendirmede de kanıtın ilk satırdan son satıra kadar tamamen doğrulanması gerektiği belirtilmişti.

Protos, 21'inde Justin Sun tarafının 66 problemin her biri için 1 milyon dolara kadar ödeme yapılmasını mümkün kılacak 66 milyon dolarlık kaynağı kanıtlamadığını bildirdi. Protos, kamuya açık biçimde doğrulanabilecek ödül cüzdanı adresi talep ettiğini ancak yanıt alamadığını aktardı.

Justin Sun'ın resmi internet sitesinde ödül kaynağının kamuya açık ve zincir üzerinde yönetileceği yazıyor. Ancak doğrulanmış resmi açıklamalarda mevcut varlıkların kontrol edilebileceği bir cüzdan adresi veya bakiye paylaşılmadı.

Bu nedenle kişisel kaynakla fon oluşturulduğuna ilişkin resmi açıklama ile dışarıdan doğrulanabilecek kaynak verileri arasında fark bulunuyor. Ödüllerin gerçekten hazır olup olmadığı, kamuya açık cüzdan adresleri ve zincir üzerindeki ödeme kayıtları sunulduğunda doğrulanabilecek.

Programın problem listesi, doğrulama kriterleri ve kanıt materyallerinin paylaşılmasıyla yürütülmesi planlanıyor. Gerçek ödemeler için problem bazında doğrulama, işletmeci onayı ve kazananların kimlik doğrulama süreci gerekecek.

Justin Sun tarafı, 16'sındaki duyuruda 66 problem arasındaki bazı temel problemlerin ödülünün 1 milyon dolara kadar çıktığını ve OpenAI araştırma ekibinin ilk kazanan olarak seçildiğini açıkladı. Ancak programın toplam ödül fonunun dışarıdan doğrulanıp doğrulanamayacağı ayrı bir tartışma konusu olmaya devam ediyor.