Cenevre, İsviçre — 5 Ekim 2026 — Justin Sun Ofisi bugün Justin Sun Ödülü'nün en yeni kazananlarını duyurdu: bağımsız araştırmacı Wouter van Doorn, matematik doktora öğrencisi Quanyu Tang ve Nanjing'deki Güneydoğu Üniversitesi'nden matematik araştırmacısı Yanyang Li. Altı Erdős problemine yaptıkları katkılardan dolayı takdir edildiler.
Wouter van Doorn, 2010'da lisans öğrencisiyken matematik araştırmaya başlayan ve yüksek lisans derecesiyle akademiden ayrıldıktan sonra işbirliği yapmaya ve yayın yapmaya devam eden bağımsız bir sayı teorisyenidir. Quanyu Tang (汤泉宇), araştırmaları sayı teorisi, kombinatorik ve yapay zekâ destekli matematiksel keşfi kapsayan Çin Bilim ve Teknoloji Üniversitesi'nde matematik doktora öğrencisidir.
Erdős problemleri, Macar matematikçi Paul Erdős tarafından sayılar, örüntüler ve diğer matematiksel yapılar hakkında ortaya atılan veya popülerleştirilen matematiksel sorulardır. Genellikle ifade edilmesi kolay ama çözülmesi zordur ve sayı teorisi ile kombinatorikte araştırmaların şekillenmesine yardımcı olmuşlardır; bazıları onlarca yıldır açık kalmıştır. Manchester Üniversitesi'nde matematikçi ve Royal Society Üniversite Araştırma Görevlisi olan Thomas Bloom tarafından derlenen ve sürdürülen Erdős kataloğu, 1.200'den fazla problem içermektedir.
Van Doorn ve Tang, Nanjing'deki Güneydoğu Üniversitesi Matematik Fakültesi'nden Yanyang Li ile birlikte, belirli bir aralıkta kaç tam sayının her zaman farklı katlarla eşleştirilebileceğini tam olarak belirleyerek Erdős Problem #650'yi çözdüler. Van Doorn ayrıca, matematiksel akıl yürütmeyi doğrulamaya yönelik yazılım olan Lean'de, asal çarpanları kısıtlanmış ardışık tam sayılarla ilgili #369; kısa bir ardışık tam sayı dizisinin toplu olarak belirli bir aralıktaki her asalı içerip içeremeyeceğiyle ilgili #457; ve bölenlerinin toplamı olarak ifade edilebilen özel bir sayı sınıfının çarpmaya göre terslerinin sonlu bir toplama ulaşıp ulaşmadığıyla ilgili #469 için bilgisayarla kontrol edilebilir kanıtlar üretti. Tang ayrıca ayrı olarak, polinomlarla tanımlanan bölgelerin sınır uzunlukları için keskin bir alt sınır ortaya koyarak #1044'ü çözdü ve hiçbir üyesi bir diğerini bölmeyen tam sayı kümeleri üzerindeki ağırlıklı toplamları sınırlandıran #1196'nın daha geniş bir ekibin çözümüne Li ile birlikte katkıda bulundu.
#650 üzerindeki çalışmaları, insan muhakemesi ile yapay zekânın birbirini nasıl tamamlayabileceğine dair somut bir örnek sunuyor. ChatGPT kanıt stratejisinin geliştirilmesine yardımcı olurken, matematiksel akıl yürütmeye yönelik bir yapay zekâ sistemi olan Aristotle, Lean formalizasyonu sırasında bir boşluğu onardı. Araştırmacılar daha sonra argümanı basitleştirdi ve nihai kanıtları ve açıklamayı yazdı.
Tang, "Bu deneyim bana kamu geri bildiriminin bir araştırma sorusunu nasıl keskinleştirebileceğini ve yapay zekâ destekli keşfin matematiksel muhakemeyi, işbirliğini ve titiz doğrulamayı nasıl birleştirebileceğini öğretti," dedi.
Bunlar, hem matematiksel keşfi hem de kanıtları bağımsız olarak kontrol edilebilir kılmak için gereken çalışmayı takdir eden programın ilk onaylanmış ödülleridir. Justin Sun Ödülü, problem kataloğu ve alıcı katkıları hakkında bilgi, programın herkese açık GitHub deposu aracılığıyla mevcuttur. Ödüller, alıcının tercihine göre TRON üzerinde USDT (TRC-20) veya Ethereum üzerinde USDC (ERC-20) olarak ödenecektir. Daha fazla bilgi için lütfen www.hejustinsun.com/prize adresini ziyaret edin.
Justin Sun Ofisi Hakkında
Justin Sun Ofisi, Justin Sun'ın teknoloji, blokzincir, yapay zekâ, bilimsel araştırma, yatırım, sanat ve uzay keşfi alanlarındaki küresel iş, hayırseverlik ve kamu girişimlerini destekler.
Justin Sun, Grenada'nın Dünya Ticaret Örgütü nezdindeki Büyükelçisi ve eski Daimi Temsilcisi ve TRON'un Kurucusu'dur. TRON, stablecoin devrimi için önde gelen blokzincirdir ve kuruluşundan bu yana 13 trilyon doların üzerinde hacim işlemiştir. Dünyanın gelişmekte olan pazarlarında insanlar küresel finansal sisteme erişmek için TRON üzerindeki USDT'ye güvenmektedir.
Alibaba kurucusu Jack Ma'nın protégé'si olan Sun, dijital varlık endüstrisindeki çalışmalarıyla uluslararası alanda tanınmıştır; bunlar arasında Nisan 2025'te bir Forbes kapak profili ve Forbes 30 Under 30 listesinde birden fazla kez yer almak vardır. Ağustos 2025'te Blue Origin'in NS-34 görevinde uçarak tarihte uzaya seyahat eden 712. kişi oldu. Daha geniş ilgi alanları arasında teknoloji, yatırım, hayırseverlik, sanat, oyun ve uzay keşfi bulunmaktadır. Justin Sun Ofisi İletişim: info@hejustinsun.com Justin Sun Ödülü Hakkında Justin Sun Ödülü, Justin Sun tarafından matematik, biçimsel doğrulama ve yapay zekâ destekli bilimsel keşifteki ilerlemeleri desteklemek için kurulan akademik bir girişimdir. Ödül merkeziyetsizdir ve matematiksel çalışmanın, onu sunanların prestiji veya itibarıyla değil, kanıtın kendi gücü, titizliği ve doğrulanabilirliğiyle değerlendirilmesi gerektiği ilkesi üzerine kurulmuştur. Justin Sun, ödülü matematik ve teknoloji yoluyla yaratılan serveti matematiğin kendisine geri döndürmeye yönelik uzun vadeli bir taahhüt olarak kendi adına kurmuştur. Mirasının, tanıdığı çalışmalar bütünü ve keşifleri zamanın sınavından geçen ödül sahipleri tarafından tanımlanması amaçlanmaktadır. Ödül, açıkça tanımlanmış matematiksel zorlukları makine tarafından doğrulanabilir kanıtlarla birleştirir. Yol gösterici ilkeleri açıklık, kamu yararı ve açık kaynak erişimidir. Daha fazla bilgi için https://www.hejustinsun.com/prize adresini ziyaret edin. İletişim: thejustinsunprize@hejustinsun.com
Sıkça Sorulan Sorular
SSS Erdős Problemleri Üzerine İnsan-Yapay Zekâ İşbirliği için Justin Sun Ödülü'nün Yeni Turu
S1 Justin Sun Ödülü nedir
Kripto girişimcisi Justin Sun tarafından finanse edilen ve insanlara matematik problemlerini, özellikle ünlü Erdős problemleriyle bağlantılı olanları çözdükleri için ödeme yapan bir ödüldür
S2 Erdős problemleri nedir
Efsanevi Macar matematikçi Paul Erdős tarafından ortaya atılan veya popülerleştirilen geniş bir açık matematik soruları koleksiyonudur. Birçoğunun ifade edilmesi basit ama çözülmesi çok zordur
S3 Ödülün bu turunda yeni olan nedir
Bu tur özellikle bir insan ve bir yapay zekânın birlikte çalıştığı çözümleri ödüllendirir—örneğin bir kişinin ChatGPT gibi bir yapay zekâ modelini veya bir kanıt asistanını kullanarak bir problemi çözmesi
S4 Kazanmak için yapay zekâ kullanmak zorunda mıyım
Bu tur için evet. Ödül insan-yapay zekâ işbirliğine yöneliktir, bu nedenle tamamen insan çözümü veya tamamen yapay zekâ tarafından üretilmiş bir çözüm nitelikli olmayabilir
S5 İnsan-yapay zekâ işbirliği olarak ne sayılır
Bir kişinin ve bir yapay zekâ sisteminin her birinin anlamlı katkıda bulunduğu her türlü düzenek—diyelim ki yapay zekâ kanıt adımları önerir ve insan bunları doğrular, düzeltir ve iyileştirir
S6 Kimler katılabilir
Genellikle herkes—öğrenciler, hobici veya profesyonel matematikçiler. Yaş, ikamet veya uygunluk sınırları için resmi kurallara bakın
S7 Ödül ne kadar
Ödül miktarları tura ve problem zorluğuna göre değişmiştir. Kesin rakamlar için resmi duyuruya bakın
S8 Hangi problemler uygundur
Genellikle Erdős problem veritabanlarındaki problemler veya ödülle birlikte yayımlanan belirli bir liste. Her açık problem nitelikli değildir
S9 Bir çözümü nasıl gönderirim
Genellikle ödül duyurusunda listelenen resmi bir gönderim formu veya e-posta yoluyla, kanıtınız ve yapay zekânın nasıl kullanıldığına dair bir açıklamayla
S10 Yapay zekâ belirli bir araç olmak zorunda mı
Hayır, çoğu tur herhangi bir yapay zekâ aracına izin verir—büyük dil modelleri, teorem kanıtlayıcılar veya özel sistemler—ne kullandığınızı belgelendirdiğiniz sürece
S11 Yapay zekânın rolünü açıklamam gerekiyor mu
Evet. Düzenleyiciler genellikle yapay zekânın ne yaptığına karşı sizin ne yaptığınıza dair net bir açıklama ister, böylece işbirliği şeffaf olur
S12 Yapay zekânın cevabı yanlışsa ne olur
Bu size bağlı. Her adımı kontrol etmekten insan sorumludur. Un