OpenAI'nin Astra'sı 10 Büyük Matematik Problemini Çözüyor, Ancak Derin Endişeler Yaratıyor

1 Ağustos'ta OpenAI, bir sonraki nesil dil modeli Astra'nın dahili bir sürümünün matematik ve teorik bilgisayar bilimindeki on açık problemi çözdüğünü veya bunlarda belirleyici ilerlemeler kaydettiğini iddia eden bir blog yazısı yayınladı. Problemler; yüksek boyutlu geometri, kodlama teorisi, aritmetik devre karmaşıklığı, grup teorisi, operatör cebirleri, kuantum karmaşıklığı, kafes tabanlı kriptografi ve aşırı kombinatoryal analiz gibi ileri düzey konuları kapsıyor. OpenAI, tüm başarının problem başına yaklaşık 2.000 dolarlık token maliyetiyle gerçekleştiğini ve sonuçların Lean biçimsel kanıt asistanı kullanılarak doğrulandığını söyledi. Bu duyuru matematik topluluğu içinde hem heyecan hem de endişe yarattı. Araştırmacı Jay Cummins, bir yapay zekanın ilk kez kendisinin yıllarca üzerinde çalıştığı bir problemi çözdüğünü ve bu yenilgiyi kabul etmenin zor olduğunu belirtti. Yatırımcı Nicolas Bustamante, Fields Madalyası'nın geleceğini sorgulayarak, problemler bir komut kadar yakınken kimin itibar kazanacağını sordu. Dikkat çekici bir şekilde, Fields Madalyası sahibi Jacob Tsimerman, Temmuz sonunda Toronto Üniversitesi'ndeki görevine ara vererek OpenAI'ye katıldı; ancak matematik yeteneklerine değil, yapay zeka güvenliğine odaklandı. Bir başka Fields Madalyası sahibi olan Terence Tao, tehlikeli bir değişime dikkat çekti: Yapay zekanın otomatik kanıt üretimiyle matematik kıtlıktan bolluğa geçiyor, ancak araştırmacılar kanıtların doğrulanmasına ve 'sindirilmesine' yetişemiyor. Ham yapay zeka kanıtlarını, kimsenin temizleyip pişirmeye vakti olmadığı bir toplu yemekte 'gizemli hayvan leşleri' olarak nitelendirdi. Tsimerman ayrıca, uzmanlığı olmayan kullanıcıların ham ChatGPT çıktılarını laboratuvarlara göndermesiyle 'matematiksel çöplük'ün arttığından yakındı. Her ikisi de, ünlü varsayımların biçimsel çözümlerinin, hiçbir insan çözümleri anlamasa bile, bu konulardaki finansmanı ve ilgiyi öldürebileceği ve anlaşılmayan bir ilerleme kaydeden bir disipline yol açabileceği konusunda uyardı.