Pekin Üniversitesi’nde geliştirilen yapay zeka, 10 yıllık matematik problemini 80 saatte çözdü. Sistem, insan müdahalesi olmadan ispatı otomatik olarak oluşturdu.
Pekin Üniversitesi’nde Dong Bin liderliğindeki bir araştırma ekibi, 2014 yılında ortaya atılan ve 10 yıldır çözülemeyen bir cebir problemini yapay zeka kullanarak saatler içinde çözmeyi başardı. Problem, Iowa Üniversitesi’nden profesör Dan Anderson tarafından ortaya atılmıştı.
Yapay zeka sistemi, on yıllarca süren matematiksel literatürü analiz ederek çözüme ulaştı. Elde edilen sonucu kendi başına doğrulayan sistemin çalışma prensibi, henüz hakem değerlendirmesinden geçmemiş olsa da arXiv platformunda yayımlandı.
Araştırmacılar, geliştirdikleri yapay zeka sisteminin değişmeli cebirdeki açık bir problemi, minimum insan müdahalesiyle çözdüğünü ve ispat sürecini otomatik olarak resmileştirdiğini belirtti. Sistemin “Rethlas” adlı akıl yürütme motoru, “Matlas” teorem arama motorundan destek alarak çözüm stratejileri üretiyor.
Ardından “Archon” adlı ikinci bir sistem, “LeanSearch” aracılığıyla bu çözümü resmi bir ispat belgesine dönüştürüyor. Oluşturulan ispatlar, “Lean 4” adlı etkileşimli teorem ispatlayıcı üzerinde doğrulanıyor. Bu süreç, yüz binlerce matematiksel tanım ve teoremi içeren geniş bir kütüphaneye dayanıyor.
Yapay zeka, karmaşık cebir problemini yaklaşık 80 saatlik çalışma süresi zarfında tamamladı. Bilim insanları, matematiksel ispatların yüksek doğruluk gerektirdiğini ve yapay zeka sistemlerinin hata yapma riskinin bulunduğunu vurguladı. Ancak bu yaklaşımın, matematiksel araştırmaların otomasyonu konusunda somut bir örnek teşkil ettiği belirtildi.
Araştırmacılar, insan rehberliğiyle bu sürecin daha da hızlandırılabileceğini öngörüyor. Yeni yapay zeka yöntemi, resmi ve gayri resmi akıl yürütme sistemlerini entegre ederek doğrulanabilir sonuçlar üretme potansiyeli taşıyor.
Yorum Yap