1 problem

Kush–Rossman's conjecture. The exponent $\frac{1}{3}\log_{\varphi} k\approx 0.49\log_2 k$ is optimal: no formulas of the relevant type and depth $O(\log k)$ can solve…