Alexander Souza has a new paper on the arXiv claiming to prove the cycle double cover conjecture, that every bridgeless graph has a multiset of simple cycles that covers every edge exactly twice. If it stands up, it's a great result, solving a famous open problem.

The main ideas are

1. Solve a stronger problem, that every set of edge-disjoint cycles can be extended to a cycle double cover;

2. Show that, given a set of edge-disjoint cycles, it's possible to find an "augmenting set", a subset of the edges of the cycles such that, if these edges are deleted, the remaining edges of the cycles can be extended in a different way to form a different set of edge-disjoint cycles;

3. Show more strongly that it is possible to find an augmenting set such that the graph formed by deleting the edges in this set has no bridges;

4. Remove a bridgeless augmenting set from the given graph, find a cycle double cover by induction, put the removed edges back in, and patch up the double cover so that it covers all the edges of the graph and uses the specified set of cycles.

I don't understand all of it at this point but to me the only part that looks difficult to understand is step (3).

ETA: Souza tells me by email that there is indeed a problem with step (3), Lemma 9 of the paper, that he discovered while trying to answer a question from Paul Seymour. It is too early to tell whether it can be patched yet.