Source authenticated

IRIS Conjecture 6.1 on Simple 3-Polytopes

VibeMathed recorded: IRIS Conjecture 6.1 on Simple 3-Polytopes. Consult the linked registry entry for the original report and scope.

Exact FrontierDelta

Prior state unknown→disproved

Scope and record

Occurred: Jun 11, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its own rights.

Canonical aliases: IRIS Conjecture 6.1 on Simple 3-Polytopes · IRIS 6.1

Confidence: Not scored

Registry verification: unreviewed · announcement · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Demonstrandum multi-agent pipeline
model · ai model contributor

Lineage and corrections

This event attributed to Demonstrandum multi-agent pipeline

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

VibeMathed record: IRIS Conjecture 6.1 on Simple 3-Polytopes evidence for this event

Elizalde-Luo Pattern-Avoidance Conjecture evidence for this event

IRIS Conjecture 6.1 on Simple 3-Polytopes parent of this event

Act on this frontier

Verify, challenge, or extend the result.

IRIS Conjecture 6.1 on Simple 3-Polytopes — Mathematical Frontier Network