Facebook’ta çalışan geliştiriciler tarafınca yaratılan bir yapay zekâ matematikçi, üniversite seviyesinde matematik sorunlarını çözebiliyor. Problemler içinde, bir eğrinin altında kalan alanı hesaplamak için kullanılan integral hesabı da yer ediniyor.
Makineler matematik alanında her geçen gün daha iyi hâle geliyor. Yapay zekâ, üniversite seviyesindeki matematik sorunlarını saniyeler içinde çözmeyi öğrenmiş durumda.
Facebook AI Research’ten François Charton ve Guillaume Lample, bir yapay 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.
Yapay zekâ için zekice bir strateji seyredildi:
Yapay zekâ, problemleri çözmek için dil analizinde sıkça kullanılan hesaplamalı bir vasıta olan Naturel 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 yapay zekâ, problemleri çözümlere çeviri etti.
Facebook araştırmacıları, yapay 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.
Yapay zekânın diferansiyel denklem çözme kabiliyeti hâlâ düşük:
**
**
Ekip yapay 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 yapay 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 yapay zekânın daha da geliştirilmesi durumunda insanların çözmekte zorlandığı matematik problemlerinin üstesinden gelinebileceğini belirtiyor.
Yapay zekânın verimliliğinin, teoremlerin kanıtlanması şeklinde matematiksel görevlerde insanlara süre kazandırabileceği de düşünülüyor.
