Depth-3 circuit lower bounds and k-SAT algorithms are closely related, with implications for solving long-standing problems.
