The newly proved cycle double cover theorem in ZFC with Grace17
Comments
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Summary
Grace17, a proof assistant built on ZFC with a browser-based workbench, has formally proved the cycle double cover theorem, a graph theory conjecture open since 1973 that OpenAI's model proved in mid-2026.