Building on the genus-3 reduction established in our companion paper (arXiv:2604.09328), we give an unconditional proof of the perfect-cuboid conjecture (“Conjecture B”) on explicit master-tuple fibers, excluding all rational -specialisations on each such fiber. Our three main contributions are: (i) a structural classification theorem showing that every primitive Euler-brick arises from the standard -parametrisation up to scaling; (ii) a torsion-intersection argument applied to the elliptic quotients and : whenever the rank-zero hypothesis and the appropriate torsion condition hold for one of them, is forced, with the eight points all corresponding to degenerate bricks; (iii) two complementary techniques to verify the rank-zero hypothesis algorithmically – PARI’s ellrank (2-descent) and, where this is ambiguous, Sage’s exact rational evaluation of via modular symbols, which combined with the modularity theorem, Kolyvagin’s theorem, and Edixhoven’s bound on the Manin constant for semistable curves yields an unconditional rank-zero certificate – together with an explicit lift count refining the naive torsion-intersection bound when the torsion is larger than the leading case. We exhibit such fibers with on which Conjecture B is thereby established unconditionally.

生成讲解博客的中文版本

生成AI智能校验的中文版本