What was already known
Equality of analytic and algebraic ranks and finiteness of the Tate–Shafarevich group do not determine the exact leading coefficient. The targeted advance is the remaining integral formula in the low-corank case.
What changed and why it matters
Establishes the integral leading-term formula for the full stated low-corank class, a broad arithmetic advance.
The AI contribution
OpenAI attributes these manuscripts to its internal model. The entry does not infer individual human contributions beyond that publisher attribution.
Limitations
The full Selmer-corank hypothesis is essential. The claim does not settle BSD for every elliptic curve or every rank; its comparison uses separate arithmetic inputs. Preprint. This is a source-statement and significance assessment, not a proof audit. No independent checking or successful formal compilation is asserted by this entry.
Verification evidence
Evidence labels show what supports the claim. Importance rates its impact if correct.
Author claim
The publisher reports the scoped result. AIProofWatch has not independently validated its correctness.
Accessible artifact / proof
The original written argument is accessible. Availability does not establish a successful proof check or Lean verification.
Correction and publication history
Historical report added after statement, scope, and importance review. No proof audit or formal checking asserted; subscriber alerts disabled.
Read this published revision