Source authenticated

The Cone Theorem for Effective Fourfold Pairs in Characteristic $p > 5$

Registry resolution: partial. Reported result type: proved. The registry record and named primary source provide the statement and scope.

Exact FrontierDelta

proved→proved

Scope and record

Occurred: Oct 29, 2026

Delta type: REGISTRY REVISION

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: The Cone Theorem for Effective Fourfold Pairs in Characteristic $p > 5$ · Cone theorem, fourfolds, char p>5

Confidence: Not scored

Registry verification: unreviewed · preprint · partial

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

ChatGPT 5.6 Sol
model · ai model contributor · OpenAI

Codex
model · ai model contributor · OpenAI

Joe Waldron
human · human collaborator

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: The Cone Theorem for Effective Fourfold Pairs in Characteristic $p > 5$

specialist registry · passed

Checked by this site on 17 August 2026 against the paper's LaTeX (arXiv:2608.14236, Waldron, Michigan State): the AI statement is verbatim as quoted - among the frankest in the catalog, a professional birational geometer crediting the model with repairing a gap he could not. The result is conditional on the log resolution conjecture and is recorded as Partial for that reason. The proof was not checked here; days-old preprint, no independent review.

Source ↗

The Cone Theorem for Effective Fourfold Pairs in Characteristic $p > 5$

preprint · pending

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

Source ↗

Lineage and corrections

Corrects The Cone Theorem for Effective Fourfold Pairs in Characteristic $p > 5$ →

Supersedes The Cone Theorem for Effective Fourfold Pairs in Characteristic $p > 5$ →

This event attributed to Codex

This event attributed to ChatGPT 5.6 Sol

The Cone Theorem for Effective Fourfold Pairs in Characteristic $p > 5$ evidence for this event

This event attributed to Joe Waldron

The Cone Theorem for Effective Fourfold Pairs in Characteristic $p > 5$ parent of this event

Registry resolution: partial. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event

VibeMathed record: The Cone Theorem for Effective Fourfold Pairs in Characteristic $p > 5$ evidence for this event

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph