Selected research history · publication v1
Follow the ideas, results and limitations over time. This is a selected history, not a complete literature survey or a measure of how close the problem is to being solved.
Current state & remaining question →Viewing the timeline from pinned publication v1.
4 selected milestones · Source coverage checked 2026-10-13 · Historical annotation and mathematical review remain separate.
Proposal
Shiva Kintali reports a different proof manuscript with Codex assistance.
Scope & review: A second proposal does not by itself settle either argument’s correctness.
Historical annotation review: pending. The date refers to the preprint, with the precision supported by the source.
Formalization
The OpenAI project reports a formalized flow-to-cover construction ending in the universal statement.
Scope & review: No local OpenMath proof build or independent correspondence review is recorded.
Historical annotation review: pending. The date refers to the formalization, with the precision supported by the source.
Proposal
OpenAI reports a full proof and provides a manuscript and formal source.
Scope & review: First-party completion claims remain under assessment here.
Historical annotation review: pending. The date refers to the announcement, with the precision supported by the source.
Foundation
The question asks for edge multiplicity two, not a vertex cover or a partition into disjoint cycles.
Scope & review: The bridgeless and loopless hypotheses are part of the selected formulation.
Historical annotation review: pending. The date refers to the publication, with the precision supported by the source.