Source authenticated

Written on the Wall II, Graph Conjecture 217

VibeMathed records this result as “Written on the Wall II, Graph Conjecture 217.” The registry entry and named primary source contain the available statement and scope.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Jul 30, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-discovered. Imported under CC BY 4.0.

Canonical aliases: Written on the Wall II, Graph Conjecture 217 · WOWII 217

Confidence: Not scored

Registry verification: lean verified · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Claude Opus 5 (with Gemini 3.1 Pro, GPT-5.3 Codex Spark, Grok 4.5)
model · ai model contributor

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Written on the Wall II, Graph Conjecture 217

specialist registry · passed

Kernel-checked Lean 4 proof; the axiom check includes native_decide (Lean.ofReduceBool / trustCompiler) for the exhaustive finite-graph certificates, which the submitter flags as the main trust assumption. Acceptance into the formal-conjectures repository is still pending, hence candidate status.

Source ↗

Written on the Wall II, Graph Conjecture 217

witness · pending

Primary source named by the VibeMathed record. Presence in this import is not an independent mathematical verification.

Source ↗

Independent second Lean proof (PR #4656)

independent reproduction · pending

independent link supplied by the VibeMathed registry.

Source ↗

Lineage and corrections

This event attributed to Claude Opus 5 (with Gemini 3.1 Pro, GPT-5.3 Codex Spark, Grok 4.5)

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem