Matematikçiler OpenAI’ın yapay zeka kaynaklı kanıtını ‘anlaşılmaz’ buluyor

OpenAI, 21 Eylül Pazartesi günü, Navier-Stokes Milenyum Ödülü problemiyle ilgili tartışmalı ve büyük ölçüde okunamaz yapay zeka üretimi kanıtın yarattığı haftalar süren tepkilerin ardından, Princeton'daki İleri Araştırmalar Enstitüsü'nde ağırlanan bağımsız bir Matematik ve Yapay Zeka Danışma Grubu ile çalıştığını duyurdu.openai+1

Kimsenin Okuyamadığı Bir Kanıt

Bu ayın başlarında OpenAI, 88 saat boyunca çalışan 10.000 yapay zeka ajanının, Navier-Stokes denklemleriyle tanımlanan akışkanların sonlu bir sürede tekillik geliştirebileceğini gösteren 166 sayfalık bir kanıt ürettiğini açıkladı. Bu sonuç, doğrulanması halinde Clay Matematik Enstitüsü tarafından ortaya konan altı Milenyum Ödülü Problemi'nden birini çözmüş olacak. Matematikçiler, kısmen Lean programlama dilinde resmi bir doğrulama ile desteklendiği için kanıtı teknik olarak doğru kabul ediyor. Ancak sonucun insan tarafından anlaşılması hala zor.openai+2

Oxford Üniversitesi'nden matematikçi James Maynard, NPR'a verdiği demeçte, "Şu ana kadar bu yeni yapay zeka kanıtından gerçek bir insan anlayışı çıkarmak çok zordu" dedi. Brown Üniversitesi'nden matematikçi Javier Gómez-Serrano da "Makale insanlar için yazılmamış" diyerek, kanıtın "ciddi bir yeniden yazım" sürecinden sonra alana yardımcı olabileceğini ancak "bugün itibarıyla makalenin bize pek bir şey öğretmediğini" belirtti.nprillinois

Duyuru ayrıca bir atıf tartışmasını da tetikledi. NYU matematikçisi Tristan Buckmaster, OpenAI'ı yayınlanmamış araştırmasını izinsiz kullanmakla suçladı ve şirketin kendisini yazar olarak listelemeyi ancak Anthropic'te çalışan işbirlikçisi Levent Alpöge'yi listeden çıkarması şartıyla teklif ettiğini iddia etti. OpenAI, Buckmaster'ın çalışmasını kullandığını reddetti ancak "ürünlerimizin kullanımından elde edilen kimliksizleştirilmiş verilerin modellerimizi geliştirmeye yardımcı olduğunu göz ardı edemeyeceklerini" kabul etti.futurism+2

Seçkin Bir Danışma Kurulu

Dokuz üyeli yeni grup, Stanford, Harvard, Oxford, Cambridge ve diğer önde gelen kurumlardan çok sayıda Fields Madalyası sahibi ve akademisyeni içeriyor. Üyeler OpenAI tarafından maaş almayacak ve şirketin matematik üzerindeki etkisi hakkında kamuoyuna yorum yapabilecek, istenmeyen tavsiyelerde bulunabilecek ve kendi üyeliklerini kontrol edebilecekler.theverge+2

OpenAI bir blog yazısında, "Değeri, üyelerin kendi yargılarını kullanabilmelerine ve bizimkine meydan okuyabilmelerine bağlıdır" dedi. Ancak şirket, grubun "matematik konusundaki iç ilerlememizin hızını belirleme konusunda bize tavsiyede bulunmaktan sorumlu olmayacağını" açıkça belirtti.techcrunch+1

Bazı matematikçiler kurulun geniş topluluğu gerçekten temsil edip edemeyeceğini sorguladı. Heriot-Watt Üniversitesi'nden yeni atanan profesör Francesco Fournier-Facio, "Fildişi kulesi gibi hissettiriyor" dedi. ETH Zürih'ten araştırmacı Simon Machado ise kurulun oluşumunu "gizemle örtülü" olarak nitelendirdi ve üyelerin nasıl seçildiğini sorguladı.theverge

Sırada Ne Var

Grubun en acil zorluğu en büyüğü olabilir. Danışma kurulu duyurusunun yanı sıra OpenAI, aynı yayınlanmamış modelin "matematiğin çoğu alanında 100'den fazla uzun süredir çözülemeyen problemi çözdüğünü" açıkladı. Kurul, bu sonuçların yayınlanmasını koordine etmenin ilk öncelikleri olduğunu belirtti.indiatoday+2

Kurul üyesi ve Fields Madalyası sahibi Martin Hairer, bir blog yazısında grubun, yapay zeka şirketlerinin "yayınlanması ve yayılması kabul edilebilir matematiksel uygulamaların çok gerisinde kalan bazı yüksek profilli matematiksel sonuçlar üretmesi" nedeniyle kurulduğunu yazdı. Ancak üyelerin "yapay zeka laboratuvarlarının söylediklerimizi kendi halkla ilişkiler makinelerine uygun şekilde çarpıtmaya çalışmayacağına inanacak kadar saf olmayacakları" konusunda uyardı.theverge