Google'ın yapay zekası matematikte çığır açacak keşif yaptı

Nature dergisinde yayınlanan bir makaleye göre, Google DeepMind araştırmacıları, büyük dil modelleri (LLM) kullanarak uzun süredir çözülemeyen bir matematik problemine odaklandı. Bu, büyük dil modellerinin matematiksel bulmacaları çözmede ilk kez kullanıldığı ve önceki bilinmeyen ve değerli bilgilerin üretildiği anlamına geliyor.

Genellikle büyük dil modellerinin gerçeklerden ziyade uydurma bilgiler üretme eğiliminde olduğu biliniyor. Ancak Google DeepMind'in FunSearch adlı yeni aracı bu durumu değiştiriyor gibi gözüküyor.

FunSearch, Codey adlı bir büyük dil modelinin bilgisayar kodları üzerinde özel olarak ayarlanmış bir versiyonu olan PaLM 2'yi kullanarak farklı bir yaklaşım benimsiyor. Bu yaklaşım, diğer sistemlerin yanlış cevapları elemesini ve doğru olanları entegre etmesini sağlayarak büyük dil modellerinin ürettiği uydurma bilgiler sorununu çözmeyi hedefliyor.

Google DeepMind araştırmacılarından Alhussein Fawzi, konuyla ilgili olarak, "Şu anda nasıl işlediğini tam olarak anlamıyoruz. İşe yarayıp yaramayacağını bile bilmiyorduk," dedi.

Araştırmacılar, çözmek istedikleri problemin ana hatlarını çizerken Python programlama dilini kullandılar, ancak çözümü tamamlayacak kod satırlarını boş bıraktılar. İşte FunSearch devreye giriyor: Codey'den eksik kodları tamamlamasını isteyerek problemin çözümünü önermesini sağlıyor.

Codey, önerilerini bir kontrol algoritmasıyla değerlendiriyor ve en iyi çözümü geri bildirerek kod tamamlama sürecini devam ettiriyor. Bu sürecin birkaç milyon öneri ve onlarca iterasyondan sonra, FunSearch, matematik dünyasının uzun süredir çözülemeyen problemlerinden biri olan "cap set problemine" yönelik bilinmeyen bir çözüm bulmayı başardı.

Bu keşif, matematikçilerin uzun süredir üzerinde çalıştığı zor problemlere yeni bir bakış açısı getiriyor ve matematiksel algoritmaların geliştirilmesinde önemli bir adım olabilir. Araştırmacılar, FunSearch'ün çok yönlülüğünü test etmek için matematikteki başka bir karmaşık probleme yaklaştıklarını ve bu yapay zekanın insanların geliştirdiği çözümlerden daha hızlı sonuçlar ürettiğini belirtiyorlar.