OpenAI Tarafından Paylaşılan Matematik Çözümleri Bilimsel Standartların Gerisinde Kaldı
OpenAI'ın yüzlerce zorlu matematik problemine yönelik sunduğu çözümler, matematikçiler ve AGMAI tarafından insan anlayışı ve şeffaflık kriterlerini karşılayamadığı gerekçesiyle eleştirildi.
OpenAI, dünyanın en zor matematik problemlerine yönelik yüzlerce çözüm yayınlamış olmasına rağmen, uzman matematikçiler ve ilgili komiteler laboratuvarın saha standartlarının gerisinde kaldığını belirtti.
Matematik Alanındaki Beklentiler
OpenAI, tartışmalardan kaçınmak amacıyla elit matematikçilerden oluşan bir danışma grubuyla istişare yaptığını belirtse de, ortaya konulan çözümler matematik camiasının temel beklentilerini karşılamakta yetersiz kaldı. Uzmanlar özellikle matematiksel sonuçlarda insan anlayışının önemine vurgu yaptı.
AGMAI Kılavuzları ve İhlaller
İleri Araştırmalar Enstitüsü bünyesindeki Yapay Zeka ve Matematik Danışma Grubu, eylül ayı sonlarında yapay zeka laboratuvarları için yeni kılavuzlar yayınladı. Bu kuruluşun ilk talebi, gelişmiş matematik problemlerinin tescilli modeller üzerinde test edilmesinin durdurulması yönündeydi.
Yayınlanan Çözümlerdeki Eksikler
OpenAI sonuçları hızlı bir şekilde paylaşsa da, 719 taslak metinden yalnızca 10 tanesi modelin düşünce zincirini içeriyordu. Ayrıca kanıtların yüzde 42'sinin önerildiği şekilde resmileştirilmediği tespit edildi.
Akademisyenlerin Eleştirileri
Terence Tao ve Melanie Wood gibi tanınmış matematikçiler bu yaklaşımı eleştirerek, yapay zeka odaklı problem çözme süreçlerinde insan anlayışının, katılımın ve sorumluluğun eksik olduğuna dikkat çektiler.
Doğrulama ve Kod Tutarsızlıkları
Cambridge Üniversitesi ve Londra King’s College matematikçileri tarafından hazırlanan bir bildiri, Navier-Stokes denklemlerinden türetilen bir probleme ait OpenAI çözümü ile arkasındaki Lean kodu arasındaki tutarsızlıkları belgeledi.