What is claimed?
Combined circumball contact geometry, opposite-point identities, a radial divergence bound and eight spherical-cap deficit estimates to claim Vol(K) ≥ (130838246407123π/10¹⁵)w³ >0.411040473721188w³ for every constant-width convex body K in R³ with width w>0. Reported result; not independently verified by WRS. Ranked using a provisional grade and reference estimate for the exact claimed result.
Scientific scope
Source-claimed computer-assisted proof, not independently verified by WRS. Rational certificate scripts have not been replayed by WRS. The analytic-only bound is about 0.4041207788w^3; neither result proves the Meissner minimizer conjecture. A subsequent preprint by Yunjiang Jiang reports 0.41275w^3 using part of this mechanism, so the original bound is a historical advance rather than the current strongest reported bound.
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.
- claimed improved volume lower bound for constant-width bodies in three dimensions
- Hyra Results: original artifact index and source-reported agent provenance
- Jiang: A 0.41275 lower bound for the three-dimensional Blaschke-Lebesgue problem
Full scientific record · Challenge or correct this assessment
A