TRON kurucusu Justin Sun, büyük problemleri çözen ispatçılara ve ispatları makine tarafından doğrulanabilir koda dönüştüren formalizasyon uzmanlarına yönelik, matematik odaklı bir ödül olan Justin Sun Ödülü’nün oluşturulduğunu duyurdu. Ödülde yaş sınırı veya yıllık kota bulunmuyor. Ödemeler, ilk satırdan son satıra kadar eksiksiz makine doğrulaması gerektirirken, ödül havuzu yalnızca eklemelere izin veren ve para çekimine izin vermeyen bir blok zinciri adresinde kilitli tutuluyor. Problemler eklenebilir ancak silinemez; bir problem ifadesi hatalıysa, ödül üzerinde mutabık kalındığı şekilde yine ödenecek ve problem yeniden listelenecek. Sun, belirli değerlendirmelerde yer almayacağını ve yalnızca problem listesini ve ödül tutarlarını belirleyeceğini söyledi; amacının, yapay zekâ ve formal doğrulama çağında saf teorik matematiği zincir üzerindeki kamusal teşviklerle ilişkilendiren uzun vadeli bir mekanizma kurmak olduğunu belirtti.