← AMRAL · BSD 猜想 · 二 · 計算與重現 · RUN-083

RUN-083

RUN-083 — BSD Symbolic Rounds 005–007 (the web GPT's determinant-lattice torsor, rational descent and support control, derived determinant complex): every boxed statement instantiated on explicit integer lattices, rational scalars, ℓ-adic valuations and two-term complexes of free Z-modules — the sig