OpenAI yüzlerce matematiksel çözüm yayımladı akademide tartışma başladı

OpenAI, farklı matematik alanlarını kapsayan 700'den fazla makalede yaklaşık 400 yapay zeka üretimi çözüm yayımladı. Kombinatorik, geometri, sayılar teorisi ve teorik bilgisayar bilimi gibi disiplinleri içeren bu devasa arşiv, dünya genelindeki matematikçiler arasında geniş yankı uyandırdı. Araştırmacılar, bu kadar büyük hacimli bir çalışmanın sonuçlarını doğrulamanın ve anlamlandırmanın yıllar sürebileceğini belirterek akademik çalışma düzeninin aniden sarsıldığını aktardı.

Yayımlanan sonuçların yalnızca yüzde 42'lik bölümünün Lean programlama diliyle biçimsel doğrulaması sağlandı. Matematikçiler, bilgisayar destekli kanıtların eksikliği ve bazı makalelerdeki yetersiz kaynakça kullanımı nedeniyle doğru sonuçları hatalı içeriklerden ayırmanın ciddi bir iş yükü getirdiğini vurguladı. Nitekim şirket, bir işaret hatası nedeniyle üç makaleyi geri çekmek ve bir düzineden fazla metinde düzeltmeye gitmek zorunda kaldı. Buna rağmen Riemann hipotezi ve Hodge varsayımı gibi köklü problemlere yönelik bazı ilerlemelerin son derece üst düzey çalışmalar olduğu ifade edildi.

Araştırmacılar, şirketin çözümleri üretirken kullandığı istemleri ve tescilli modellerin ayrıntılarını paylaşmamasını eleştirdi. OpenAI ise sonuçların anlaşılmasını desteklemek amacıyla çalıştaylar ve konferanslar düzenleyeceğini açıkladı. Birçok akademisyen, mevcut araştırma fonlarının ve yıllara yayılan projelerinin geçersiz kalması riskiyle karşı karşıya olduklarını, yapay zekanın dönüştürdüğü matematik dünyasında doğrulama ve bağlam kurma çabalarının artık daha fazla değer görmesi gerektiğini kaydetti.