Çinli Yapay Zeka, 10 Yıllık Matematik Problemini Çözdü

Pekin Üniversitesi matematikçisi Dong Bin liderliğindeki araştırma ekibi, 2014 yılında Iowa Üniversitesi profesörü Dan Anderson tarafından ortaya atılan cebir problemini yapay zeka kullanarak çözdü. Anderson 2022 yılında hayatını kaybetmişti.

Araştırmada kullanılan yapay zeka sistemi, onlarca yıllık matematik literatürünü analiz ederek problemi çözdü ve sonucu kendi kendine doğruladı. Çalışma henüz hakem değerlendirmesinden geçmemiş olup arXiv platformunda yayımlandı.

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 sistem, 'LeanSearch' aracıyla çözümü resmi bir ispat haline getiriyor. Ortaya çıkan ispatlar, Lean 4 programlama dili üzerinde doğrulanıyor ve bu platform, geniş kapsamlı matematiksel tanım ve teorem kütüphanesine dayanıyor.