← AMRAL · BSD Conjecture · Layer 2 · Recomputation · package
| attack | the Loeffler-Rivero hypotheses instantiated; C4's direction closed; C1's partner-independence identified as a theorem |
|---|---|
| B3_B4 | UNMEASURED |
| status · C1 | partner-independence CITED_THEOREM with hypotheses instantiated; BF coordinates still UNMEASURED |
| status · C2 | UNMEASURED — Pi_E/Pi_0 still open |
| status · C3 | PASS |
| status · C4 | direction CLOSED, exact scalar OPEN |
| status · C5-C7 | unchanged |
| status · C8 | PARTIAL |
| status · C9-C10 | NOT YET READY |
| status · BSD | OPEN |
Loading…