Which Problem to solve and how to solve it? -- Let the algorithm decide everything!
Adrian DumitrescuBBC+G Seminar
on 10/5/23
Recently Zhao simplified Ortega-Moreno's proof of Fejes Tóth's zone conjecture. In this talk we present his simplification as well as a short proof of Ball's complex plank problem based on the same idea.