Yapay Zeka Şimdiye Kadarki En Zorlu Matematik Kanıtını Doğrulamak İçin Kullanıldı

Yapay zeka destekli matematik araştırmalarında önemli bir dönüm noktasını temsil eden Axiom Math'daki bir ekip, şirketin yapay zeka sistemi AxiomProver'ı kullanarak asal sayılarla ilgili bir teoremin (halk dilinde "246 teoremi" olarak anılır) kanıtını ilk kez otomatik olarak doğruladı. Resmi doğrulamada, matematikçiler bir bilgisayarı bir ispatın makine tarafından okunabilir bir versiyonunu kontrol etmekle görevlendirir. Süreç, kanıtın doğru olduğuna dair yüzde 100 garanti vermiyor; yakın zamanda yapılan bir gösterinin gösterdiği gibi, yöntemdeki bir hatanın yapay zeka tarafından oluşturulan sahte bir kanıtı kabul etmek için nasıl istismar edilebileceğini ortaya koyuyor. Yine de hesaplamalı yöntem, alabildiğiniz kadar lastik damgaya yakındır. Bu özel doğrulama sayı teorisinde önemli bir ilerlemeyi resmileştiriyor.