OpenAI · proposed full BSD from low Selmer corank
Provider preprint in the October 2026 public collection. The selected manuscript is a proposal here; a release announcement is not independent expert acceptance.
1 cited passage ↓1 problem ↓Record fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb ↓
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
The provider claims full BSD for E/Q whose full q-power Selmer group has corank 0 or 1 for some prime q, without additional reduction or residual hypotheses.
Passage ID: birch-and-swinnerton-dyer-conjecture:bsd-openai-selmer:v1
Source item: Theorem 1.1 and normalization, PDF page 3; companion dependencies §2
Source record: openai-bsd-low-selmer@git-fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v17
Source assessment
Proposed
Proposed source assertion awaiting assessment
Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.
Observed Oct 10, 2026
Research activity
Company AI proposals: Selmer converses, leading terms and twist densities
The October provider release proposes low-corank converses and exact leading terms, alongside a distinct analytic twist-density theorem. The pinned manuscripts state companion dependencies.
These source-reported proposals are not established progress here. No corresponding external formal-code execution or proof-dependency audit is asserted; asymptotic twist densities do not resolve every curve.
History
OpenAI’s proposed full low-Selmer-corank formula
Question
Birch and Swinnerton-Dyer conjecture
Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.
No OpenMath execution recorded
External manuscript. No OpenMath proof execution, formalization or independent mathematical acceptance is inferred.
Resource revision: fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb
SHA-256 for this linked file. A matching checksum identifies the same bytes; it does not assess the mathematics.
64b46603e174462e5bb32d242852eb7f0afe6e519f26534e42fd3f178a16b885Recorded authorship
OpenAI
The provider attributes this manuscript to its internal AI model. Mathematical acceptance, paper-to-formal correspondence and independent reproduction are not established by OpenMath.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
OpenAI · proposed full BSD from low Selmer corank
Only metadata and original OpenMath paraphrases are published; full text stays upstream.
Source terms ↗