The QCD axion is probably the most robust solution to the strong CP problem and a natural dark matter candidate. While its properties, such as the mass and the couplings, are mostly determined by non-perturbative QCD effects I present recent computations demonstrating that they can be safely extracted with percent accuracy, which is potentially important for the theoretical interpretation of experimental results. I also present new lattice QCD results highlighting a large departure from the common estimates based on instantons, changing substantially the prediction for the axion relic abundance.