Source authenticated

Tuza's Conjecture for Maximum Degree at Most Seven

Settles a class, not the conjecture: Tuza's conjecture remains open in general.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Aug 6, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-assisted. Imported under CC BY 4.0.

Canonical aliases: Tuza's Conjecture for Maximum Degree at Most Seven · Tuza, degree seven

Confidence: Not scored

Registry verification: unreviewed · preprint · partial

Attribution

VibeMathed
registry · event recorded by

Anish Gupta
human · human collaborator

Claude Code (Claude 5 family)
model · ai model contributor · Anthropic

OpenAI Codex (GPT-5.6 family)
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Anish Gupta

This event attributed to OpenAI Codex (GPT-5.6 family)

This event attributed to Claude Code (Claude 5 family)

Act on this frontier