WRSWorld Research StateContribute
WORLD RESEARCH STATE

OpenAI: Exact BSD formula under Selmer corank zero or one

Reported result · significance if the exact claim is established

If verified · conditional significanceClaim scope and evidenceReported result · not independently verified.
If verified · reference score300,000Editorial revision range 180,000–500,000. Not a statistical interval. Included in rankings as an unverified reported result; excluded from achieved-science progress totals.

Provisional assessment of the stated contribution scope. Scientific evidence and contributor attribution are separate.

Scientific record data (JSON) · Challenge or correct a rating

What is claimed?

For an elliptic curve over the rational numbers, the manuscript claims the complete Birch–Swinnerton-Dyer leading-term formula whenever its full q-power Selmer group has corank zero or one at some prime q. It includes finiteness of the Tate–Shafarevich group and all prime factors of the formula. Reported result; not independently verified by WRS. Ranked using a provisional grade and reference estimate for the exact claimed result.

Scientific scope

The hypothesis is on the full Selmer group, not merely Mordell–Weil rank. This is not BSD in every rank. The paper imports the unrestricted converse and the two-primary formula from separate manuscripts. WRS has inspected the cited statement and source-reported formalization scope where available; it has not audited the full proof or replayed Lean.

Evidence state

The source reports this result. WRS has not independently reconstructed the complete argument or validated the reported evidence. The grade and score here express conditional significance; they do not certify correctness. The provisional value enters the main reference rankings with an unverified label, but not achieved-science progress totals.

Full scientific record · Challenge or correct this assessment