For every convex body K in R^n, n≥1, the manuscript reports volume product at its Santaló point at least (n+1)^(n+1)/(n!)², with equality exactly for simplices.
1 record · How we rate progress
For every convex body K in R^n, n≥1, the manuscript reports volume product at its Santaló point at least (n+1)^(n+1)/(n!)², with equality exactly for simplices.
Original report: 2026-10-06For every convex body K in R^n, n≥1, the manuscript reports volume product at its Santaló point at least (n+1)^(n+1)/(n!)², with equality exactly for simplices.
If correct, determines the exact minimum and equality cases for unrestricted convex bodies in every dimension.
A sourced result with the exact hypotheses, baseline, and AI role stated; verification is assessed separately.
Background review: 2026-10-11. Selected sources:
Publication dates and editorial changes.
OpenAI reports: Mahler’s conjecture for general convex bodies
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
