Theorem of the year goes to the resolution of the dichotomy conjecture. I wrote about the conjecture in February and while the Feder et. al paper didn't hold up, two later papers seem to resolve the conjecture.A dichotomy theorem for nonuniform CSPs by Andrei BulatovA Proof of CSP Dichotomy Conjecture by Dmitriy Zhuk I checked with experts in the field and at least one of these papers and mor