OpenAI Matematik Alanındaki Yapay Zeka Gelişmelerini Paylaşıyor
İç model tarafından üretilen yeni matematiksel sonuçlar, Lean formatında kanıtlar ve şeffaflık detaylarıyla birlikte GitHub üzerinden paylaşılıyor.
OpenAI, iç yapay zeka modeliyle elde edilen yeni matematiksel sonuçları matematik topluluğuyla paylaşmak üzere bir GitHub deposu üzerinden erişime açtığını duyurdu. Gelişmeler, İleri Araştırma Enstitüsü bünyesindeki danışma grubunun görüşleri doğrultusunda şekillendiriliyor.
GitHub Üzerinden Yapılan Paylaşım
OpenAI, iç modelinin ürettiği kapsamlı matematiksel sonuçları topluluğa sunmak amacıyla bir GitHub deposu oluşturdu. Bu süreçte makale revizyonları ve atıf protokolleri belirlenirken topluluk alternatifleri de incelenmeye devam ediliyor.
Lean Programlama Dili ile Kanıtlar
Yayınlanan depoda, matematiksel kanıtların bilgisayar tarafından denetlenmesini sağlayan Lean programlama dilindeki formalizasyonlar da yer alıyor. Elde edilen yeni kanıtlar eklendikçe depo güncellenmeye devam edecek.
Şeffaflık ve Hesaplama Detayları
Bilimsel şeffaflığı artırmak amacıyla modelin akıl yürütme özetleri, ChatGPT Pro kullanımına eşdeğer harcanan hesaplama tahminleri ve denenen problem sayılarına dair istatistikler paylaşıldı.
Gelecek Çalışmalar ve Destekler
Bilim insanlarını en son teknoloji yetenekleriyle güçlendirmeyi amaçlayan şirket, yapay zeka tarafından üretilen büyük sonuçların anlaşılmasına yönelik atölye ve konferanslara finansal destek sağlayacak.