Google DeepMind, şimdiye kadar çözülemeyen bir matematik problemini çözdü

Matematik dehası John Nash'in hayatını ve matematikle olan ilişkisini anlatan A Beautiful Mind filmini izleyenler, Nash’ın matematik alanındaki karmaşık çözülmesi ve bu sorunlarla başa çıkma konusundaki mücadelesini hatırlar. 

Çözülemeyen problemleri çözmek, bilimsel ve matematiksel açıdan büyük bir öneme sahip. Çünkü bu tür problemler genellikle bilimsel keşiflerde, teknolojik ilerlemelerde ve bilgi sınırlarının genişletilmesinde önemli bir rol oynuyor. Bu problemlerin çözülmesi, bilimsel topluluğa yeni buluşlar ve keşifler sağlayarak ilerlemeyi tetikliyor.

Google DeepMind bu alanda bir gelişmeye imza attı. Şirket, büyük dil modelini kullanarak matematikte çözülemeyen bir problemi çözdü. Nature dergisinde yayınlanan bir makalede araştırmacılar, büyük dil modellerinin uzun süredir çözülemeyen bilimsel bir bulmacayı çözmek için kullanılabileceğini ve önceden var olmayan doğrulanabilir yeni bilgi üretebileceğini belirtti. 

FunSearch adı verilen yeni araç, büyük dil modellerinin gerçek keşifler yapabileceğini gösteriyor. Araştırmacılar, bu yeni yöntemle temel matematik ve bilgisayar bilimlerinde yapay zeka kullanarak keşif serilerine devam ediyorlar. 

Peki, bu problem nasıl çözüldü? Google DeepMind'ın çözdüğü problemde, araştırmacılar öncelikle Python programlama dilinde bir problem için gerekli kod parçalarını kısmen yazdılar, ancak problemi tam olarak çözecek kısımları eksik bıraktılar. Bu noktada büyük bir dil modeli olan Codey devreye girdi ve eksik kalan kısımları tamamlamak için önerilerde bulundu.

Codey'nin önerileri genellikle doğru çözüm olmamakla birlikte, bir kontrol mekanizması kullanılarak bu öneriler değerlendirildi ve en iyi öneriler saklandı. Ardından, doğru çözümü bulabilmek için milyonlarca öneri ve onlarca tekrar gerektiren bir süreç başlatıldı. Bu tekrarlar ve değerlendirmeler sonucunda elde edilen öneriler arasından doğru çözümü sağlayan bir kod seçilerek problemin çözümüne ulaşıldı.

Bu gelişme, büyük dil modellerinin araştırma süreçlerine entegrasyonu ve matematiksel problemlerin çözümü için yeni bir yaklaşımın mümkün olduğunu gösteriyor. Matematikçiler, büyük dil modellerinin potansiyelini keşfetmek ve bu modellerin matematiksel keşiflerde nasıl kullanılabileceğini anlamak için çalışmalarını sürdürüyorlar.