OpenAI kısa süre önce, uzun süredir çözülemeyen matematik problemlerine yapay zekânın ürettiği çözümleri içeren 722 çalışmayı yayımladı. Çalışmalar geçen hafta kamuoyuyla paylaşıldı. Matematikçiler, sonuçların bu denli çok olmasının doğrulama sürecini yıllarca uzatabileceğini belirtiyor; açık bir akıl yürütme süreci sunulmamasının da bu çalışmalardan yararlanmayı zorlaştırmasından endişe ediyor.
Matematik camiası neden kaygılı?
Kanıtları üreten yapay zekâ modelinin adı açıklanmadı, ancak uzmanlar şimdiden iddiaları doğrulamaya çalışıyor. Uzmanlara göre, bir istemden doğrudan nihai yanıta sıçrayan ve ara adımları göstermeyen bir çözüm pek içgörü sunmuyor. Sonuca nasıl ulaşıldığı bilinmeden araştırmacılar yeni kuramlar geliştiremiyor veya bulguları sonraki çalışmalar için temel olarak kullanamıyor.
Neden önemli
Matematik araştırmalarına dayanan öğrenciler, mühendisler ve bilim insanları için doğrulanmamış kanıtların aniden çoğalması ilerlemeyi yavaşlatabilir; çünkü her sonucu insanlar kapsamlı biçimde incelemek zorunda kalabilir. Bu durum, yapay zekâ tarafından üretilen keşiflere nasıl güvenileceği ve bunların gerçek dünyadaki uygulamalarda nasıl kullanılacağı konusunda da soru işaretleri doğuruyor.
