OpenAI, şirket içinde geliştirdiği bir yapay zekâ modelinin hazırladığı 722 matematik makalesi taslağını yayımladı. GitHub üzerinden erişilebilen çalışmalar, birbiriyle ilişkili sonuçlara göre 372 grupta toplandı. OpenAI, değerlendirme sürecinde modele yaklaşık 4.000 problem verildiğini söylüyor. Ancak yayımlanan çalışma sayısı, modelin bu problemlerin ne kadarını doğru çözdüğünü tek başına göstermiyor.
Makaleler araştırmacılara geniş bir inceleme alanı açıyor, fakat sonuçların doğruluğu henüz topluca teyit edilmiş değil. OpenAI, bazı ispatların bilgisayarla kontrol edilmesini sağlayan Lean biçimindeki sürümlerini de paylaştı. Bunlar tüm çalışmalar için mevcut değil. Şirket, biçimsel olarak doğrulanmamış bazı sonuçlarda hata bulunabileceğini kabul ediyor. Ayrıca seçilen 10 sonuç için modelin akıl yürütme sürecini özetleyen metinler yayımladı.
Tartışmanın odağında ise makaleleri üreten model var. OpenAI sonuçları paylaşsa da modeli araştırmacıların kullanımına açmadı. Bağımsız Matematik ve Yapay Zekâ Danışma Grubu, ileri matematik problemlerinin yalnızca şirketlerin erişebildiği modellerle araştırılmasına karşı çıkıyor. Gruba göre önemli olan yalnızca yeni sonuçlar üretmek değil; bu sonuçların matematikçiler tarafından incelenebilmesi ve anlaşılabilmesi. OpenAI ise modeli sorumlu biçimde kullanıma sunmak için çalıştığını belirtiyor.
Kaynak: www.techspot.com