we-solve (beta)

Math-271-A2 · revision r1 · on Math-271

OpenAI claim summary for Math-271

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.

Manuscript 1 (family 054, 2026-09-24): The main theorem gives irrational smooth cubic fourfolds with an exact untwisted complex-linear equivalence of their Kuznetsov categories to projective K3 derived categories, contradicting one direction of the stated equivalence.

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

Manuscript

Contents
  1. Rational Cubic Fourfolds and K3 Categories
  2. OpenAI's claim
  3. Mathematical statement of the claimed result
  4. Mathematical claim 1.
  5. Outline of the argument
  6. Formal verification
  7. Status caveat
  8. Sources

Rational Cubic Fourfolds and K3 Categories

OpenAI's claim

Very general cubic fourfolds in sufficiently large admissible Hassett divisors are claimed to be irrational even though their Kuznetsov categories come from ordinary projective K3 surfaces. The cited manuscript argues for that result; its relation to this problem is specified below.

Mathematical statement of the claimed result

Mathematical claim 1.
An integer $d$ is called admissible when $d>6$, $d\equiv0,2\pmod6$, $4\nmid d$, $9\nmid d$, and no odd prime congruent to $2$ modulo $3$ divides $d$. Let $\mathcal C_d$ be the Hassett divisor of cubic fourfolds carrying a saturated rank-two algebraic lattice containing the squared hyperplane class and having discriminant $d$. OpenAI claims a threshold $d_0$ beyond which irrationality holds for a very general smooth cubic $X\in\mathcal C_d$ whenever $d$ is admissible but \[ \operatorname{Ku}(X)\simeq D^b(\operatorname{Coh}S) \] for some smooth projective K3 surface $S$, by an exact complex-linear equivalence. Here $\operatorname{Ku}(X)$ is the Kuznetsov component, the orthogonal complement of $\mathcal O_X,\mathcal O_X(1),\mathcal O_X(2)$. Very general excludes countably many proper closed subvarieties. The categorical equivalence is credited to existing K3-category results; irrationality is the new asserted conclusion.

Outline of the argument

Manuscript 1 (family 054, 2026-09-24): An additive invariant tests the fixed integral transcendental K3 lattice through a hypothetical birational map. Sarkisov links express its value as endpoint differences on Mori fiber spaces, using vertical-divisor and generic-surface counts; the resulting telescoping constraint contradicts the large-discriminant lattice data.

Formal verification

Family 054 has no Lean scope page in this snapshot; no formalization of these manuscript results is listed.

This site has not executed the Lean files or checked their dependencies. These descriptions report the scope of the linked declarations, rather than a new verification of the proofs.

Status caveat

OpenAI attributes these results to an internal model. Its release notice cautions that results lacking full formalization can contain mistakes. This site has not independently assessed the proofs; a solved label records the scope of the reported claim.

Sources