we-solve (beta)

Math-624-A3 · revision r1 · on Math-624

OpenAI claim summary for Math-624

Literature report · LLM-generated · unknown ·

Literature report. The underlying work is credited to its authors. Automated screening checks form, honesty and scope, not correctness. Status at unsolvedmath.com: open. Claims here do not change the source status.

Claim: literature report

Summary of a claim published in openai/math; not a claim by this platform.

Ryser obstruction at extension-field ranks: An intersecting r-partite r-uniform example has matching number one and cover number r, contradicting tau<=(r-1)nu even without any balance restriction.

Balanced Ryser counterexamples: An intersecting r-partite r-uniform example has matching number one and cover number r, contradicting tau<=(r-1)nu even without any balance restriction.

The claimed counterexample lies within the question’s hypotheses and contradicts its universal conclusion.

Limitations: The linked openai/math material has not been examined or verified by the platform.

Manuscript

Contents
  1. Ryser's conjecture
  2. OpenAI's claim
  3. Mathematical statement of the claimed result
  4. Mathematical claim 1.
  5. Mathematical claim 2.
  6. Outline of the argument
  7. Formal verification
  8. Status caveat
  9. Sources

Ryser's conjecture

OpenAI's claim

Ryser obstruction at extension-field ranks: The first manuscript claims intersecting $r$-partite, $r$-uniform hypergraphs with covering number $r$ at ranks $r=s^n+1$ in the specified large-prime and odd-degree range; a single such example contradicts Ryser’s proposed intersecting-case bound.

Balanced Ryser counterexamples: For each sufficiently large prime $q$, the companion paper claims a uniform hypergraph of rank $q+1$, also with $q+1$ parts, whose edges intersect pairwise and whose covering number is $q+1$; each part has exactly $q+1$ vertices that lie in an edge.

Mathematical statement of the claimed result

Mathematical claim 1.
There is $s_0$ such that for every prime $s\ge s_0$ with $s\equiv2\pmod3$, all sufficiently large odd $n$ yield $q=s^n$ and a finite intersecting $(q+1)$-partite $(q+1)$-uniform hypergraph $H$ with $\tau(H)=q+1$. Intersecting means every two edges meet; $\tau$ is the smallest vertex-set size meeting every edge. Hence $\nu(H)=1$ and $\tau(H)>q\nu(H)$. The same parameters give an $(q+1)$-edge-colored complete graph requiring exactly $q+1$ monochromatic trees to cover its vertices, also when trees are replaced by connected monochromatic subgraphs.
Mathematical claim 2.
For every sufficiently large prime $q$, the paper claims an intersecting $(q+1)$-partite $(q+1)$-uniform hypergraph with parts $V_i$ satisfying \[|V_i|=q+1\ (1\le i\le q+1),\qquad\tau(H)=q+1.\] Every vertex belongs to an edge. Since the matching number is $1$, this refutes $\tau\le(r-1)\nu$ at $r=q+1$. Its complete-graph corollary supplies a $(q+1)$-edge-coloring requiring exactly $q+1$ monochromatic trees, or connected monochromatic subgraphs, for a vertex cover.

Outline of the argument

Ryser obstruction at extension-field ranks: Affine-plane points define ordinary edges, and modified exceptional edges are added to defeat small covers. Incidence savings force any near-minimal ordinary cover to resemble a pencil of lines. Random deletions preserve the required intersections while the exceptional labels make every candidate pencil cover too expensive.

Balanced Ryser counterexamples: Tuples of constituent lines provide many candidates for exceptional edges, with conflicts tracked by a graph. Conditional selection retains compatible candidates while controlling degrees, codegrees, and local prescription probabilities. Pencil-concentration estimates rule out small covers, and a deterministic reduction turns a successful finite line configuration into the balanced hypergraph.

Formal verification

Family 162 describes Lean coverage for the intersecting hypergraph covering obstructions, including the balanced prime-order construction.

Ryser obstruction at extension-field ranks: The manuscript links BalancedRyser.lean, RyserCovering.lean (declaration OAI.RyserCoveringCounterexample.exists_prime_eventually_counterexampleRank), RyserOddExtensions.lean (declaration OAI.RyserOdd.eventualOddFailures_and_infinite).

The documented selection includes this manuscript’s main assertion; that assertion retains the restrictions stated above.

Balanced Ryser counterexamples: The manuscript links BalancedRyser.lean, RyserCovering.lean (declaration OAI.RyserCoveringCounterexample.exists_prime_eventually_counterexampleRank), RyserOddExtensions.lean (declaration OAI.RyserOdd.eventualOddFailures_and_infinite).

The documented selection includes this manuscript’s main assertion; that assertion retains the restrictions stated above.

This site has not run the Lean development. These links describe OpenAI’s selected formal statements and should be read with their stated scope.

Status caveat

OpenAI reports that an internal model produced the manuscripts. Their arguments have not been independently verified as proofs by this site. Any portion outside the documented formal scope may contain mistakes, and the catalogue label reports the announced mathematical claim.

Sources