Yapay zeka çağında kanıt asistanları üzerine bir deneme yazdım.