Feysbuk’un Suni Zekâ Matematikçisi Düzey Atladı

Makineler matematik alanında her geçen gün daha iyi hâle geliyor. Suni zekâ, üniversite seviyesindeki matematik sorunlarını saniyeler içinde çözmeyi öğrenmiş durumda.

Feysbuk AI Research’ten François Charton ve Guillaume Lample, bir suni zekâyı, bilgisayar tarafınca rastgele oluşturulan on milyonlarca yüksek matematik problemleri üstüne eğitti. Problemler içinde, matematikte sıkça kullanılan ve eğrinin altında kalan alanı hesaplamaya yarayan integral almanın kullanıldığı matematiksel ifadeler de yer alıyordu.

Suni zekâ için zekice bir strateji seyredildi:

Suni zekâ, problemleri çözmek için dil analizinde sıkça kullanılan hesaplamalı bir vasıta olan Organik Dil İşleme’yi (NLP) kullandı. Bu yöntem, her problemdeki matematik bir dil olarak düşünülebildiği için işe yaradı. Mesela ‘x’ değişkeni, adların ve işlemlerin rolünü oynarken karekökünü alma ise fiillerin yerine geçti. Bunun arkasından suni zekâ, problemleri çözümlere çeviri etti.

Feysbuk araştırmacıları, suni zekâyı 500 problemle kontrol ettiklerini ve %98 doğruluğa ulaştıklarını belirtiyorlar. Matematik sorunlarını çözmek için kullanılan benzer bir standart programda aynı problemlerin doğruluk oranıysa %85.

Suni zekânın diferansiyel denklem çözme kabiliyeti hâlâ düşük:

**
**

Ekip suni zekâya çözmesi için diferansiyel denklemler de verdi fakat bu tarz şeyleri çözmek için başka tekniklerin yanı sıra integral almak da gerekiyordu. Bu denklemler için suni zekânın performansı daha düşüktü. Tek bir tip diferansiyel denklemin çözümü için doğruluk oranı %81 olurken daha zor bir denklemin çözüm oranının %40 olduğu görüldü.

Charton, bilgisayarda matematik problemleri çözmenin pek de ergonomik olmadığını sadece suni zekânın daha da geliştirilmesi durumunda insanların çözmekte zorlandığı matematik problemlerinin üstesinden gelinebileceğini belirtiyor.

Suni zekânın verimliliğinin, teoremlerin kanıtlanması şeklinde matematiksel görevlerde insanlara süre kazandırabileceği de düşünülüyor.