OpenAI, ChatGPT‘in üreticisi olarak salı günü matematiksel problemlere dair yüzlerce yeni iddia edilen ispat içeren makale yayımladı. Bu hamle, şirketin yapay zeka ajanlarının Navier-Stokes denklemlerine nasıl bir çözüm ulaştığına dair patlama derecesinde tartışmaların hemen ardından geldi.
Yayınlanan bu belgeler alanındaki uzmanların sinirlerini gerdi. Uzmanlar hem modellerinin kendi çalışmalarını kullanma ihtimalinden hem de yapay zeka modelinin bazen neredeyse anlaşılmaz hale gelen ispatlarını çözme ve doğrulama yükünü üstlenmeleri beklendiği için öfkeleniyor.
İnsan Matematiği Derneği (Association for Human Mathematics) adlı bir grup, OpenAI’nin yayımlamasını eleştiren bir açıklama yayınlayarak bunu yeniden paylaştı ve temelde Fields Madalyalı matematikçi Terence Tao gibi topluluğun önde gelen isimlerinin desteğini aldı.
Açıklamanın girişinde, “Matematikçilerin tarih ve alana özgü değerlerle şekillenmiş ilerlemeye dair kendine has bir vizyonu var” denildi. “OpenAI’nin bu yayımlamanın alanımızı ilerlettiğine dair iddiasını reddediyoruz ve matematikçileri ile kamuoyunu bu yayın modelinin değeri konusunda gerekli şüphecilikle değerlendirmeye çağırıyoruz.”
Açıklamada, “700’den fazla dosyayı tek seferde yayımlamak bir bilim yapma gösterisi değil, bir güç gösterisidir” ifadeleri kullanıldı.
Belgelerin yayımlanmasına eşlik eden açıklamada OpenAI, sonuçları matematik topluluğuyla paylaşma konusundaki geliştirmelerini övdü ve alanda bağımsız bir uzman kurolu olan Matematik ve Yapay Zeka Danışman Grubu ile görüşme yürüttüğünü belirtti.
Ancak OpenAI’nin dışarıda bıraktığı şey, Danışman Grubu’nun şirketin özel modellerini ileri düzey matematik problemlerinde test etmeye devam etme kararına karşı çıktığıydı. Grup, modellerin bilimsel topluluk için erişilebilir olmadığını vurguladı.
Geçen ayın sonunda yayınlanan açıklamada grup, “Baştan beri net bir biçimde belirtmek istiyoruz: Bu uygulamayı onaylamıyoruz ve özel modeller üzerinde ileri düzey matematik problemlerini test etmeyi durdurmalarını istiyoruz” dedi.
İnsan Matematiği Derneği, son açıklamasında OpenAI’yi Danışman Grubu’nun tavsiyesini görmezden gelmekle ancak onu alanda “meşruiyetini çıkarmak” için kullanmakla eleştirdi.
“Açıklamada, Danışman Grubu pozisyonunun temel ön kabulünü görmezden gelen OpenAI, matematiğin güvenilir kalmasını sağlayan, etik biçimde araştırılmasını sağlayan ve kamu yararına hizmet etmesini sağlayan normlara karşı tamamen kayıtsız olduğunu gösterdi” dedi dernek.
OpenAI’nin matematiksel ispatları Lean adlı bir programlama dili kullanılarak doğrulandı. Ancak teknik açıdan sağlam olabilirler, bulguların gerçek faydasının ne olacağı henüz görülmedi; çünkü bu ispatlar bazen insanlar için neredeyse anlaşılmaz hale geliyor.
Yapay zeka çalışmalarının alanı ilerletecek ve matematiğin gizemlerini insan anlayışına katkı sağlayacak olup olmadığına dair soruların ötesinde, aynı zamanda bu matematikçilerin OpenAI’nin tek seferde ürettiği ve yayımladığı yüzlerce ispatı çözme konusundaki asıl zorlu işi yapmaları bekleniyor.
Bu Gelişmeyi Toplulukta Değerlendirin
Haber hakkındaki düşüncelerinizi, donanım deneyimlerinizi ve teknik sorularınızı topluluk üyeleriyle anlık olarak tartışın.
Söz sizde.
Deneyiminizi, sorularınızı ve katkılarınızı paylaşın. E-posta adresiniz yayımlanmaz.