Pekin Üniversitesi’ndeki araştırmacılar tarafından geliştirilen bir yapay zeka sistemi, yaklaşık 10 yıldır çözülemeyen bir matematik problemini tek başına çözmeyi başardı.
2014 yılında Iowa Üniversitesi profesörü Dan Anderson tarafından ortaya atılan cebir problemi, uzun yıllar boyunca çözümsüz kalmış ve matematik dünyasında dikkat çeken bir konu haline gelmişti.
“Rethlas” adı verilen yeni sistem, matematikçilerin çalışma yöntemlerini taklit eden bir akıl yürütme modeliyle geliştirildi. Bu sistem, geniş matematiksel veri setlerini analiz ederek olası çözümleri üretirken, “Archon” adlı ikinci bir yapı bu çözümleri doğrulayıp ispat sürecini tamamlıyor.
Lean 4 programlama diliyle çalışan sistem, yüz binlerce teorem ve tanımı işleyerek problemi yaklaşık 80 saat içinde çözüme kavuşturdu.
Araştırma ekibi, sürece hiçbir insan müdahalesinin dahil edilmediğini özellikle vurgularken, bu gelişmenin yapay zekanın matematiksel araştırmalarda oynayacağı rolü yeniden tanımlayabileceğini belirtiyor.
Uzmanlara göre bu tür sistemler, gelecekte matematikçilerin çalışma biçimini kökten değiştirebilir.
