Elias, Proudfoot, and Wakefield conjectured that the Kazhdan-Lusztig polynomial of any matroid is log-concave. Inspired by a computer proof of Moll's log-concavity conjecture given by Kauers and Paule, we use the computer algebra system to prove the conjecture for arbitrary uniform matroid.