Yapay Zeka 10 Yıllık Matematik Problemini Saatler İçinde Çözdü

Pekin Üniversitesi’nde matematikçi Dong Bin liderliğindeki bir ekip tarafından geliştirilen yapay zeka sistemi, 2014 yılında ortaya atılan 10 yıllık bir cebir problemini çözmeyi başardı. Iowa Üniversitesi profesörü Dan Anderson tarafından ortaya konulan problem, yapay zeka tarafından analiz edildi ve çözümü doğrulandı.

Araştırmacılar, geliştirdikleri sistemin değişmeli cebirdeki açık bir problemi insan müdahalesini minimize ederek çözdüğünü ve ispatı otomatik olarak resmileştirdiğini belirtti. Çalışma henüz hakem değerlendirmesinden geçmemiş olsa da arXiv platformunda yayımlandı.

Yapay Zeka Sisteminin Bileşenleri

Problemi çözmek için kullanılan yapay zeka sistemi birden fazla bileşenden oluşuyor. ‘Rethlas’ adlı akıl yürütme motoru, ‘Matlas’ isimli teorem arama motorundan yararlanarak çözüm stratejileri geliştiriyor. ‘Archon’ adlı ikinci sistem ise bu çözümü ‘LeanSearch’ aracılığıyla resmi bir ispat haline getiriyor.

Ortaya çıkan ispatlar, programlama dili ve etkileşimli teorem ispatlayıcı olan Lean 4 üzerinde doğrulanıyor. Bu sistem, yüz binlerce matematiksel tanım ve teorem içeren geniş bir kütüphaneye dayanıyor.

80 Saatte Tamamlanan Çözüm

Araştırmacılara göre yapay zeka, söz konusu problemi yaklaşık 80 saatlik çalışma süresi içinde çözdü. Bilim insanları, matematiksel ispatların yüksek doğruluk gerektirdiğini ve yapay zeka sistemlerinin hata yapma riski taşıdığını vurguladı.

Buna rağmen, geliştirilen bu yaklaşımın matematiksel araştırmaların önemli ölçüde otomatikleştirilebileceğini gösteren somut bir örnek sunduğu belirtiliyor. İnsan rehberliği ile sürecin daha da hızlanabileceği ve doğrulanabilir sonuçlar üretebilme potansiyeli taşıdığı ifade edildi.

• #Pekin Üniversitesi
• #Yapay Zeka