Google'ın yapay zekâ şirketi DeepMind, karmaşık matematik problemlerini çözebilmek için iki özel yapay zekâ sistemi geliştirdi. Bu sistemler, Uluslararası Matematik Olimpiyatı'nda büyük bir başarı elde ederek gümüş madalya seviyesinde bir ödül kazandı.
ALPHAPROOF VE ALPHAGEOMETRY 2'NİN BAŞARISI
DeepMind'ın yeni yapay zekâ sistemleri, AlphaProof ve AlphaGeometry 2, Uluslararası Matematik Olimpiyatı'ndaki altı problemden dördünü başarıyla çözerek büyük bir ilerleme kaydetti. Google DeepMind Araştırma Başkan Yardımcısı Pushmeet Kohli, bu başarının yapay zekâ ve makine öğrenimi alanında büyük bir adım olduğunu vurguladı.
KARMAŞIK MATEMATİK PROBLEMLERİNİN ZORLUKLARI
Matematik problemlerinin çözümü, soyutlamalar oluşturmayı, karmaşık hiyerarşik planlamayı ve yeni yollar denemeyi gerektirir. Bu durum, yapay zekâ sistemleri için büyük bir zorluk teşkil eder. Google DeepMind, bu zorlukları aşmak için Lean programlama dilini kullanarak AlphaProof'u geliştirdi.
ALPHAPROOF VE ALPHAGEOMETRY 2'NİN ÇALIŞMA PRENSİPLERİ
AlphaProof, daha fazla problem çözdükçe karmaşıklık düzeyini artıran bir öğrenme tabanlı sistemdir. AlphaGeometry 2 ise nesnelerin hareketleri, açılar, oranlar ve mesafeler içeren matematiksel denklemler üzerinde optimize edilmiştir.
UZMAN GÖRÜŞLERİ
Edinburgh Üniversitesi'nden Wenda Li, verilerin resmi dile çevrilmesi sürecinin otomatikleştirilmesinin matematik camiası için büyük bir adım olduğunu belirtti. Matematikçi Tim Gowers ise, yapay zekânın olimpiyatlarda dört soruyu doğru cevaplamasını etkileyici bulduğunu ifade etti.
sozcu.com.tr
