Google DeepMind çözülemeyen bir matematik problemini çözmek için büyük bir dil modeli kullandı

Google DeepMind, çözülemeyen bir matematik problemini çözmek için FunSearch adlı büyük bir dil modeli kullandı. Bu, bilimsel bir bulmacanın çözümünü keşfetmek için bir dil modelinin ilk kez kullanılışıdır. FunSearch, yanlış cevapları reddetmek ve iyi cevapları önermek için Codey adlı bir dil modelini diğer sistemlerle birleştiriyor. Araştırmacılar, problemi Python’da taslak haline getirerek başladılar ve FunSearch’ün problemi çözen kod önermek için boşlukları doldurmasına izin verdiler. Birkaç milyon öneri ve tekrardan sonra FunSearch, kapak kümesi problemine doğru ve daha önce bilinmeyen bir çözüm üretti. Bu problem matematikte önemlidir ve matris çarpımıyla bağlantılıdır. FunSearch, çok çeşitli problemlere çözüm bulmak için kullanılabildiği ve sonuçlarının anlaşılması daha kolay olduğu için diğer araçlara göre avantajlara sahiptir. Araştırmacılar FunSearch’ü çöp kutusu paketleme problemini çözmek için de kullandılar ve FunSearch bunu insan tarafından geliştirilen yöntemlerden daha hızlı yaptı. Matematik araştırmacıları hala büyük dil modellerini iş akışlarına nasıl dahil edeceklerini araştırıyor ve FunSearch ileriye dönük umut verici bir yol sunuyor.

Makalenin tamamı

Bir yanıt yazın