Justin Sun Ödülü’nün Yeni Turu, Erdős Problemleri Konusunda İnsan-Yapay Zeka İşbirliğini Onurlandırıyor

Wouter van Doorn, 2010 yılında lisans öğrencisiyken matematik araştırmalarına başlayan ve yüksek lisans derecesini aldıktan sonra akademi dünyasından ayrıldıktan sonra da işbirliklerine ve yayınlarına devam eden bağımsız bir sayı teorisyenidir. Quanyu Tang (汤泉宇), Çin Bilim ve Teknoloji Üniversitesi’nde matematik doktora öğrencisidir ve araştırmaları sayı teorisi, kombinatorik ve yapay zeka destekli matematiksel keşif alanlarını kapsamaktadır.

Erdős problemleri, Macar matematikçi Paul Erdős tarafından sayı, örüntü ve diğer matematiksel yapılar hakkında ortaya atılan veya yaygınlaştırılan matematiksel sorulardır. Genellikle ifade edilmesi basit ancak çözülmesi zor olan bu problemler, sayı teorisi ve kombinatorik alanındaki araştırmaların şekillenmesine katkıda bulunmuş olup, bazıları on yıllardır çözülememiş durumdadır. Manchester Üniversitesi’nde matematikçi ve Royal Society Üniversite Araştırma Görevlisi olan Thomas Bloom tarafından derlenen ve güncellenen Erdős kataloğunda 1200’den fazla problem bulunmaktadır.

Van Doorn ve Tang, Nanjing’deki Güneydoğu Üniversitesi Matematik Fakültesi’nden Yanyang Li ile birlikte çalışarak, Erdős Problemi #650’yi çözdüler ve belirli bir aralık içinde her zaman farklı katlarla eşleştirilebilen tam sayıların sayısını tam olarak belirlediler. Van Doorn ayrıca, kısıtlı asal çarpanlara sahip ardışık tamsayılarla ilgili #369 numaralı problem için matematiksel akıl yürütmeyi doğrulayan Lean yazılımında bilgisayar tarafından kontrol edilebilir ispatlar üretti; #457 numaralı problemde, belirli bir aralıktaki tüm asal sayıları içerebilecek kısa bir ardışık tamsayı dizisi olup olmadığı; ve #469 numaralı problemde, bölenlerinin toplamı olarak ifade edilebilen özel bir sayı sınıfının terslerinin toplamının sonlu bir değere ulaşıp ulaşmadığı.

Tang, ayrı bir çalışmada #1044'ü çözerek polinomlarla tanımlanan bölgelerin sınır uzunlukları için kesin bir alt sınır belirledi ve Li ile birlikte, hiçbir elemanın diğerini bölmediği tamsayı kümeleri üzerindeki ağırlıklı toplamları sınırlayan #1196'nın daha geniş bir ekip tarafından bulunmuş çözümüne katkıda bulundu.

#650 numaralı problem üzerindeki çalışmaları, insan yargısı ile yapay zekanın birbirini nasıl tamamlayabileceğine dair somut bir örnek sunuyor. ChatGPT, ispat stratejisinin geliştirilmesine yardımcı olurken, matematiksel akıl yürütme için tasarlanmış bir yapay zeka sistemi olan Aristotle, Lean formalizasyonu sırasında ortaya çıkan bir boşluğu giderdi. Araştırmacılar daha sonra argümanı basitleştirdi ve nihai ispatları ile açıklamaları kaleme aldı.

Tang, “Bu deneyim bana, kamuoyundan gelen geri bildirimlerin bir araştırma sorusunu nasıl netleştirebileceğini ve yapay zeka destekli keşiflerin matematiksel muhakeme, işbirliği ve titiz doğrulamayı nasıl bir araya getirebileceğini öğretti,” dedi.

Bunlar, hem matematiksel keşifleri hem de kanıtların bağımsız olarak doğrulanabilir hale getirilmesi için gereken çalışmaları takdir eden, programın onaylanmış ilk ödülleridir. Justin Sun Ödülü, problem kataloğu ve ödül sahiplerinin katkıları hakkındaki bilgiler, programın halka açık GitHub deposu üzerinden erişilebilir.

Ödüller, ödül sahiplerinin tercihine göre TRON (TRC-20) üzerinde USDT veya Ethereum (ERC-20) üzerinde USDC 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, blok zinciri, yapay zeka, bilimsel araştırma, yatırım, sanat ve uzay keşfi alanlarındaki 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ğında yer alması ve Forbes’un “30 Yaş Altı 30 Kişi” listesine birçok kez seçilmesi 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.

İletişim:

thejustinsunprize@hejustinsun.com

_________________________________________________________________________

Bitcoin.com, bu makalede atıfta bulunulan herhangi bir içerik, ürün veya hizmetin kullanımı veya bunlara güvenilmesinden kaynaklanan veya bunlarla bağlantılı olan, 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.