Problem detail · source-aware

The Chen-Lawrencenko Conjectures on Cyclic Colorations

resolvedconfidence 70%

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Precise statement

A cyclic coloration of a triangulation of a closed 2-manifold gives the faces around every vertex distinct colors. Chen and Lawrencenko made two conjectures about the cyclic chromatic number of minimal triangulations in 1999. Their second is proved here and their first disproved.

The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.

What AI did

GPT-5.6 Pro

"We succeed, based on our extensive interactions with GPT-5.6 Pro, in proving and disproving, respectively, Chen and Lawrencenko's second and first conjectures." The acknowledgement places the model in the exploratory and proof-development stages, with all suggestions substantially revised, corrected and independently verified by the author.

Provider: OpenAI · Prompt public: unknown · Independence: unknown

Verification boundary

unreviewed

A preprint days old, with no independent review.

Correctness: unknown · statement fidelity: unaudited · peer review: none

Timeline

  1. arXiv

    One conjecture each way: the second proved, the first disproved. Two further Chen-Lawrencenko conjectures remain open and are flagged as such in the paper.

Known method families

argument (source-reported)

Source-reported tools: argument.

Independent: unknown · difference confidence: 0

What remains uncertain

VibeMath has not independently audited the mathematical statement, proof, or novelty claim.

  • VibeMath has not independently verified the mathematical claim.
  • AI-attempt independence and training-data exposure are unknown unless explicitly documented.
  • VibeMath has not independently audited the mathematical statement, proof, or novelty claim.