SWhat is claimed?
The manuscript claims |K| |K-polar|>=4^n/n! for every origin-symmetric convex body in every dimension n>=1, with equality exactly for invertible linear images of Hanner polytopes. It is a sharp statement about the smallest possible volume product. Reported result; not independently verified by WRS. Ranked using a provisional grade and reference estimate for the exact claimed result.
Scientific scope
The selected paper is the symmetric result. The general nonsymmetric theorem, functional variants and symplectic consequences need their own exact source targets. A single family is not automatically one credit per companion PDF. 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