Çinli Yapay Zeka, 10 Yıllık Matematik Problemini Çözdü
Pekin Üniversitesi tarafından geliştirilen yapay zeka, uzun süredir çözülemeyen bir cebir problemini insan müdahalesi olmadan çözmeyi başardı.
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.
Bunlar da ilginizi çekebilir