OpenAI Matematiği Halı Bombardımanına Tuttu
Atlantic
🔹 OpenAI, adı açıklanmayan özel bir modelin 100’den fazla uzun süredir çözülemeyen matematik problemini ele aldığını ve 377 yeni ispat ürettiğini açıkladı.
🔹 İspatların yaklaşık üçte biri matematik genelinde tanınan varsayımlara, üçte biri belirli matematik alt dallarında önemli sonuçlara, kalan bölümü ise daha küçük sonuçlara veya varyantlara ilişkin.
🔹 Matematikçiler, çalışmaların ayrıntılı doğrulamasının henüz tamamlanmadığını ve bazı makalelerin ileri sürdükleri sonuçları kanıtlamıyor gibi göründüğünü söyledi. OpenAI üç makalesini geri çekti.
🔹 OpenAI, hataların nadir olmasını beklediğini açıkladı. Modelin yaklaşık 3.600 ek problemi çözmeye çalıştığını, ancak bu çalışmalar için başarılı ispat yayımlamadığını bildirdi.
🔹 Şirket, yapay zekâ tarafından üretilen sonuçları incelemeleri için matematikçilere ödeme yapacağını açıkladı; ancak finansmanın kapsamını henüz belirtmedi.
🔹 Matematikçiler, yapay zekânın ispatları hızla üretmesinin, problemlere ulaşma sürecindeki keşifleri ve genç matematikçilerin yetişmesini zayıflatabileceği konusunda endişe taşıyor.
🔹 OpenAI’nin oluşturduğu bağımsız danışma grubu, ileri düzey matematik problemlerinin bilim camiasının erişemediği özel modeller üzerinde test edilmemesini istedi. OpenAI, bu çağrıdan bir hafta sonra özel modelle elde edilen ispatlarını yayımladı.
🔹 İspatlara eşlik eden makaleler GitHub’a yüklendi ve 10 ispatta yapay zekânın sonuçlara nasıl ulaştığına dair açıklamalara yer verildi.
🔹 Harvard Üniversitesi’nden Lauren Williams, yayımlanan makalelerin önceki yapay zekâ ürünü ispatlardan daha açık olduğunu, ancak genel olarak iyi yazılmadığını söyledi. OpenAI, gelecekteki modellerin yazım becerisini geliştirmeye çalıştığını açıkladı.
🔹 Matematikçiler, öğrencilerin yapay zekâ yanıtlarını konuyu kendileri incelemeden kabul etmesinden endişe ediyor. Toronto Üniversitesi’nden Daniel Litt, öğrencilerin internet ve yapay zekâ olmadan haftada 20 ila 30 saat çalışabileceği odalar oluşturulmasını önerdi.
🔹 Matematiksel bilginin işbirliği, rekabet, başarısız denemeler ve toplumsal etkileşimlerle geliştiği; bu süreçlerin kısaltılmasının matematikçilerin yetiştirilmesini ve insan bilgisinin aktarımını etkileyebileceği belirtiliyor.