There has been the proof of the cycle double cover conjecture: https://news.ycombinator.com/item?id=48863490