Pekin Üniversitesi’nde geliştirilen yapay zeka, 10 yıllık bir cebir problemini saatler içinde çözerek matematik literatürünü analiz etti ve sonucu doğruladı.
Pekin Üniversitesi’nde Dong Bin liderliğindeki bir ekip, 2014 yılında Iowa Üniversitesi profesörü Dan Anderson tarafından ortaya atılan 10 yıllık bir cebir problemini yapay zeka aracılığıyla çözdü. Problemin çözümü, yapay zekanın onlarca yıllık matematiksel literatürü analiz ederek sonuca ulaştığı ve bu sonucu kendi başına doğruladığı belirtildi.
Araştırmacılar, geliştirdikleri yapay zeka sisteminin değişmeli cebirdeki açık bir problemi neredeyse insan müdahalesi olmadan çözdüğünü ve ispatı otomatik olarak resmileştirdiğini açıkladı. Çalışma henüz hakem değerlendirmesinden geçmemiş olup arXiv platformunda yayınlandı.
Sistem, “Rethlas” adlı akıl yürütme motoru ile “Matlas” isimli teorem arama motorunu kullanarak çözüm stratejileri geliştiriyor. Ardından “Archon” adlı ikinci bir sistem, bu çözümü “LeanSearch” aracılığıyla resmi bir ispat haline getiriyor. Elde edilen ispatlar, yüz binlerce matematiksel tanım ve teorem içeren geniş bir kütüphaneye dayanan Lean 4 üzerinde doğrulanıyor.
Yapay zekanın problemi çözmesi yaklaşık 80 saat sürdü. Bilim insanları, matematiksel ispatların yüksek doğruluk gerektirdiğini ve mevcut yapay zeka sistemlerinin hata yapma veya halüsinasyon üretme riski taşıdığını vurguladı. Buna rağmen bu yaklaşımın, matematiksel araştırmaların önemli ölçüde otomatikleştirilebileceğini gösteren somut bir örnek sunduğu belirtiliyor.
Araştırmaya göre, insan rehberliği eklenmesiyle sürecin daha da hızlanabileceği ifade ediliyor. Yeni yaklaşımın, resmi ve gayri resmi akıl yürütme sistemlerini bir araya getirerek doğrulanabilir sonuçlar üretme potansiyeli taşıdığı kaydedildi.
Yorum Yap