Lean dilindeki açık Fermat'nın Son Teoremi'ni tek satırda kanıtlatıyor
Trail of Bits araştırmacıları, matematiksel kanıt doğrulama dili Lean üzerinde çalışırken sistemin her türlü teoremi sahte biçimde kanıtlamasına yol açan bir yazılım hatası buldu. 4.33.1 sürümüne…