Park and Pham recently proved the Khan-Kalai's conjecture.

Introduction.
Next is some random math maybe leading to the proof of something. What are the odds?
When $a \ne 0$, there are two solutions to $ax^2 + bx + c = 0$ and they are
$$x = {-b \pm \sqrt{b^2-4ac} \over 2a}.$$