Justin Sun, matematik dünyasının zorlu problemlerini çözmeyi amaçlayan "Justin Sun Ödülü"nü kurduğunu duyurdu.

BlockBeats haberine göre, 16 Eylül'de Justin Sun, kendi adını taşıyan bir matematik ödülü kurduğunu ve gelecekte hayırseverlik odağını bu ödüle kaydıracağını duyurdu. Servetinin kökeninin matematik ve kriptografiye dayandığını belirten Sun, ödülü kurarak fonların "matematikten gelip matematiğe dönmesini" umduğunu ifade etti. Ödül, matematiksel ispatlar ve biçimsel doğrulamaya odaklanacak ve yapay zekanın hızlı gelişimi bağlamını fırsat bilerek matematiksel sonuçların makine tarafından daha verimli doğrulanmasını teşvik edecek.

Ödülün yaş, adaylık veya sabit bir ödül döngüsü sınırlaması yok. Her problem için "ispatlayıcı" ve "biçimselleştirici" olmak üzere iki sütun bulunuyor; bunlar sırasıyla matematiksel ispatı tamamlayan ve ispatı resmi olarak makineye aktarıp doğrulayan kişileri kaydediyor. Ödül parası yalnızca makine ilk satırdan son satıra kadar eksiksiz doğrulama yaptığında tetiklenecek. Matematik camiası tarafından çözülmüş ancak henüz biçimselleştirilmemiş problemlerde ispatlayıcının adı korunacak ve biçimselleştirme tamamlandıktan sonra ödülün kime ait olacağı belirlenecek.

Justin Sun, ödülün ilk havuzunun blokzincire yatırıldığını, adresin açık olduğunu ve bakiyenin tüm dünya tarafından görülebildiğini belirtti. Kendisi yalnızca havuza ek fon sağlama hakkını saklı tutuyor. Her kazanan ispat ve ödül dağıtım kaydı açık olacak ve zincir üzerinde saklanacak, böylece herkes bağımsız olarak doğrulayabilecek. Sun, kendisinin matematikçi olmadığını, yapabileceğinin matematik ispatlayıcılarına maddi destek sağlamak olduğunu söyledi: "Gerisi ispata kalmış."