A Satisfying Result 
By Don Monroe 
Communications of the ACM, May 2021, Vol. 64 No. 5, Pages 10-12
10.1145/3453650

This CACM article presents the resolution of the Keller Conjecture for dimension 7 using SAT technology.

This incredible result was reported on SAT Live! a few months ago.