Justin Sun Prize, Caltech’ten Prof. Tony Yue Yu liderliğindeki MathDB ile 50 soruluk pilot proje yaptı

Justin Sun Ödülü, bilimsel araştırma ve teşviklerdeki köklü dönüşüme daha merkezi olmayan, resmileştirilmiş ve makine odaklı bir şekilde yanıt vermek amacıyla “Yapay Zeka Çağı’nın Nobel Ödülü” olmak üzere kuruldu. Sorun düzeyindeki ödüller, geçerli ödül şartlarına ve uygunluk gerekliliklerine tabi olarak 1 milyon dolara kadar ulaşabilir.

Bu işbirliği, MathDB aracılığıyla bir başvuru ve değerlendirme süreci getiriyor. MathDB, çözüm başvurularını kabul edecek, Lean formalizasyonlarını doğrulayacak ve açıklayıcı materyalleri inceleyecek; Justin Sun Ödülü ise uygunluk, atıf, öncelik ve geçerli ödül şartlarını ayrı olarak değerlendirecek.

Justin Sun Ödülü’nün kurucusu Justin Sun, “Yapay zeka, matematiğin keşfedilme hızını değiştiriyor, ancak hız tek başına bilimsel ilerleme değildir,” dedi. “Buradaki fırsat, titizliği ödün vermeden insan sezgisi ile makine zekasının birlikte çalışabileceği bir çerçeve oluşturmaktır. MathDB ile çalışmak, matematiksel keşifleri ve makine tarafından doğrulanabilir kanıtları aynı süreçte bir araya getiriyor; bunun, gelecekteki keşifler için daha titiz bir model tanımlamaya yardımcı olacağına inanıyoruz.”

Pilot program, dört ödül seviyesinde toplam 50 problemi kapsıyor ve problem düzeyinde ödül havuzları, probleme bağlı olarak 1 milyon dolara kadar çıkabiliyor. En üst seviye, P-NP problemi, Riemann Hipotezi, Yang-Mills Varlığı ve Kütle Boşluğu, Hodge Varsayımı, Küresel Langlands fonktörlüğü ve Birch-Swinnerton-Dyer Varsayımı gibi problemleri içermektedir. Katılımcı problemlerin tam listesi ve geçerli ödül koşulları, MathDB ve Justin Sun Ödülü aracılığıyla erişilebilir olacaktır.

Tüm ödüller, tam uygunluk doğrulamasına, kara para aklama ile mücadele (AML/yaptırımlar) yasalarına uyuma ve https://www.hejustinsun.com/prize adresinde bulunan resmi program kurallarına tabidir.

İleri düzey araştırmaların erişimini ve etkisini genişletmek amacıyla, MathDB pilot programı yalnızca matematik problemlerinin çözümlerini değil, aynı zamanda bu çözümlerin ilgi çekici ve anlaşılır bir şekilde aktarılmasını da ödüllendirecektir. Ödül üç kategoriye ayrılmıştır: %50’si matematiksel çözüm için, %30’u Yalın (Lean) formülasyon için ve %20’si uygun açıklama için.

MathDB, matematiksel bilginin düzenlenmesini, birbiriyle ilişkilendirilmesini ve üzerine inşa edilmesini kolaylaştırmayı amaçlayan, matematiksel tanımlar, teoremler, hipotezler ve açık problemlerden oluşan büyük ölçekli bir topluluk veritabanıdır. Proje, matematiksel açıklamalar ve destekleyici araştırma materyallerinin yanı sıra Lean formalizasyonu ve otomatik ispat doğrulama yeteneğini de içermektedir. Kaliforniya Teknoloji Enstitüsü’nden Profesör Tony Yue Yu, ekibiyle birlikte pilot projenin bilimsel yönlerini yönetecek.

Yu, “Temel bir matematik problemini çözmek, genellikle orijinal sorunun cevabından çok daha fazlasını beraberinde getirir,” dedi. “Bu süreç, beklenmedik bağlantıları ortaya çıkarabilir, güçlü araçlar sunabilir ve tamamen yeni araştırma yönleri açabilir. Bu gelişmelerin etkisi, nesiller ve disiplinler ötesine uzanabilir. Justin Sun Ödülü, zorlu problemlere dikkat çekerek, bu problemlerin peşinde koşan araştırmacıları destekleyerek ve bilginin kamuoyuna yayılmasını teşvik ederek bu keşif ruhunu kutluyor. Justin Sun Ödülü ile işbirliğimiz, merkeziyetsiz, titiz ve doğrulanabilir yaklaşımlar yoluyla temel araştırmaların sürdürülmesinin, keşiflerin ve bilimsel ilerlemenin hızını artırabileceği ve insan uygarlığının gelişimine katkıda bulunabileceği inancına dayanmaktadır.”

Katılımcı problemlerin tam listesi, başvuru koşulları ve değerlendirme prosedürleri MathDB ve Justin Sun Ödülü aracılığıyla erişime açılacaktır.

Justin Sun Ofisi Hakkında

Justin Sun Ofisi, teknoloji, blok zinciri, yapay zeka, bilimsel araştırma, yatırım, sanat ve uzay keşfi alanlarında Justin Sun’ın küresel iş, hayırseverlik ve kamu girişimlerini desteklemektedir.

Justin Sun, Grenada’nın Dünya Ticaret Örgütü nezdindeki Büyükelçisi ve eski Daimi Temsilcisi olup, aynı zamanda TRON’un kurucusudur. TRON, stabilcoin devriminin önde gelen blok zinciridir ve kurulduğu günden bu yana 13 trilyon doların üzerinde işlem hacmi gerçekleştirmiştir. Dünyanın gelişmekte olan pazarlarında insanlar, küresel finans sistemine erişmek için TRON üzerindeki USDT’ye güvenmektedir.

Alibaba kurucusu Jack Ma’nın himayesindeki Sun, dijital varlık sektöründeki çalışmalarıyla uluslararası alanda tanınmaktadır; bu başarıları arasında Nisan 2025’te Forbes dergisinin kapağına çıkması ve Forbes’un “30 Yaş Altı 30 Kişi” listesinde birçok kez yer alması sayılabilir. Ağustos 2025’te Blue Origin’in NS-34 misyonuyla uzaya uçan Sun, tarihte uzaya seyahat eden 712. kişi oldu. İlgi alanları teknoloji, yatırım, hayırseverlik, sanat, oyun ve uzay keşiflerini kapsamaktadır.

Justin Sun Ofisi İletişim:

info@hejustinsun.com

Justin Sun Ödülü Hakkında

Justin Sun Ödülü, matematik, biçimsel doğrulama ve yapay zeka destekli bilimsel keşiflerdeki ilerlemeleri desteklemek amacıyla Justin Sun tarafından kurulan akademik bir girişimdir. Ödül, merkeziyetsiz bir yapıya sahiptir ve matematiksel çalışmaların, bunları sunan kişilerin prestiji veya itibarına değil, kanıtın kendisinin gücü, titizliği ve doğrulanabilirliğine göre değerlendirilmesi ilkesine dayanmaktadır.

Justin Sun, matematik ve teknoloji yoluyla yaratılan zenginliği matematiğin kendisine geri kazandırmak amacıyla uzun vadeli bir taahhüt olarak kendi adını taşıyan bu ödülü kurmuştur. Ödülün mirası, ödüle layık görülen çalışmalar ve keşifleri zamanın sınavından geçen ödül sahipleri tarafından şekillenecektir. Ödül, açıkça tanımlanmış matematiksel zorlukları makine tarafından doğrulanabilir kanıtlarla ilişkilendirmektedir. Ödülün temel ilkeleri şeffaflık, kamu yararı ve açık kaynak erişimidir.

Daha fazla bilgi için https://www.hejustinsun.com/prize adresini ziyaret edin.

Medya İletişim:

media@hejustinsun.com

_________________________________________________________________________

Bitcoin.com, bu makalede atıfta bulunulan herhangi bir içerik, ürün veya hizmetin kullanımı ya da bunlara güvenilmesinden kaynaklanan veya bunlarla bağlantılı olarak ortaya çıkan, gerçek, iddia edilen veya dolaylı olsun, her türlü kayıp, hasar, talep, maliyet veya masraftan doğrudan veya dolaylı olarak hiçbir sorumluluk veya yükümlülük kabul etmez ve bunlardan sorumlu tutulamaz. Bu tür bilgilere güvenilmesi, tamamen okuyucunun kendi sorumluluğundadır.