Yapay zekânın matematikteki ilerlemesini paylaşıyoruz
Kurum içi en üst seviye bir modelin elde ettiği, geniş bir yelpazeye yayılan yeni matematiksel sonuçları yayımlıyoruz.
Sonuçları matematik camiasıyla paylaşma biçimimizi standartlaştırmak için, en iyi uygulamaları belirlemek üzere İleri Araştırmalar Enstitüsü bünyesindeki bağımsız Matematik ve Yapay Zekâ Danışma Grubu(yeni bir pencerede açılır) ile görüşüyoruz. Grubun tavsiyelerini ve kamuoyuyla paylaştığı önerileri(yeni bir pencerede açılır) bu sonuçları yayımlama sürecimize dahil ediyoruz.
Bu paylaşımda sonuçları, makale revizyonları ve atıflara ilişkin protokollerle birlikte bir GitHub deposunda yayımlıyoruz. Bu paylaşım için, komitenin yönergelerine uygun ve topluluk tarafından barındırılan başka alternatifleri de araştırmaya devam ediyoruz. Gelecekteki paylaşımlarımızda, sonuçların daha iyi anlaşılması için atıfları, matematiksel anlatımı ve sonuçların sunumunu geliştirerek makalelerin kalitesini daha da artırmaya kararlıyız.
GitHub depomuzda, ispatların birçoğunun Lean dilinde biçimselleştirilmiş hâllerini paylaşıyoruz. Lean, matematiksel ispatların bilgisayar tarafından kontrol edilmesini sağlayan bir programlama dilidir. Yeni biçimselleştirmeler elde ettikçe bunları depoya ekleyeceğiz.
Bilimsel şeffaflığı ve açıklığı desteklemek amacıyla, sonuçları nasıl elde ettiğimize ilişkin ek ayrıntıları da depoda yayımlıyoruz. Bunlar arasında modelin akıl yürütme sürecine ilişkin 10 özet, ChatGPT’de Pro kullanımı cinsinden tahmini işlem gücü tüketimi ve çözülmeye çalışılan problem sayısına ilişkin istatistikler yer alıyor. Her bir sonuç için ortalama olarak, ChatGPT Pro’nun yaklaşık üç saatlik düşünme sürecinde kullandığına eşdeğer işlem gücü harcandı.
Bu ilerlemenin insanlığın bilgi birikiminin sınırlarını genişletmesini ve matematikte daha fazla ilerlemenin önünü açmasını istiyoruz. Yapay zekânın elde ettiği önemli sonuçların anlaşılmasına yönelik bir dizi çalıştay, konferans ve özel programı finanse edeceğiz. Yakın gelecekte bu konuda daha fazla bilgi paylaşacağız.
Bilim insanlarına en gelişmiş yetenekleri doğrudan sunmak istiyoruz ve bu sonuçları üreten modeli sorumlu bir şekilde kullanıma açmak için çalışıyoruz. Bu nedenle, kurum içi en üst seviye modellerimizi matematik ve diğer bilim dallarında değerlendirmeye devam etmek önem taşıyor. Böylece bu alanları ileriye taşıyacak araçların geliştirilmesini hızlandırabiliriz. Bilim camiasından gelen geri bildirimler doğrultusunda hareket etmeye ve gelecekte önemli bilimsel ilerlemeleri duyururken uygulayacağımız standartları güncellemeye devam edeceğiz.
