openmath.dev
Esc

Loading…

↑ ↓ to move↵ to open

Appearance
Appearance

Publication v7

Record details

Petersen coloring conjecture →

Coverage & review

Coverage of this curation

Canonical question, exact result scopes, proof evidence, contributors, history and explanatory examples.

Formal proofs: SAT/DRAT certificates are available in the immutable archive. They are computational proof evidence, not an identified Lean or Isabelle theorem; OpenMath has not executed the certificates.

AI-assisted work: Model assistance is self-reported by Putman; specific model versions are not identified in the selected disclosure.

Search scope & review

Selected primary manuscript versions and their cited original literature, checked on 14 October 2026. This is not an exhaustive literature review.

Checked Oct 14, 2026 · independent review pending.

  • Independent OpenMath mathematical review and external proof execution remain pending.

General status observations

Source identities & rights

A 112-Vertex Counterexample to the Petersen Coloring Conjecture ↗

Bryce Putman · metadata-link · Source document rights apply; OpenMath publishes original paraphrases.

Linked proof prose is not republished. Any copied graph data is CC0, as specified by its archive. Rights / source terms

4 cited entries · exact source identity
Version
petersen-coloring:source:paper:v1
Revision
v1
Content SHA-256
c960f9c1884b87a0df9fbd37b5e3d3fc583b57607a049e9b0b92fe12e86327bd
Source update
Unavailable
Observed
2026-10-14
Check cadence
90 days

Petersen counterexample: frozen construction and certificates ↗

Bryce Putman · metadata-link · Source document rights apply; OpenMath publishes original paraphrases.

Linked proof prose is not republished. Any copied graph data is CC0, as specified by its archive. Rights / source terms

1 cited entry · exact source identity
Version
petersen-coloring:source:archive:v1
Revision
1.1.0
Content SHA-256
No upstream byte snapshot retained; linked metadata only
Source update
Unavailable
Observed
2026-10-14
Check cadence
90 days

Publication history

Problem ID
problem-petersen-coloring
Publication checksum
a3faba6224e32fa719f72a6f65116aa84fd67bf538fac506a94d4af0d41bcc18
Published
2026-10-21T12:38:41.845859+00:00
Publication reason
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
  1. Version 1 · Oct 14, 2026

    Source-linked pilot import; independent mathematical review remains pending.

  2. Version 2 · Oct 14, 2026

    Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.

  3. Version 3 · Oct 14, 2026

    Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.

  4. Version 4 · Oct 14, 2026

    Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.

  5. Version 5 · Oct 14, 2026

    Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.

  6. Version 6 · Oct 15, 2026

    Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.

  7. Version 7 · Oct 21, 2026

    Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.

Download version-reference manifest →