Büyük Dil ModelleriMatematiksel İspatları Otomatik Olarak Doğrulayan FaithSieve Sistemi Geliştirildi
Yapay zeka modellerinin oluşturduğu matematiksel ispatların doğruluğunu kontrol etmek için formal kanıt sistemlerini kullanan yeni bir yöntem önerildi