{"id":"hexagon/2610.00515","pdf":"https://hexagonmath.org/pdf/2610.00515v1","url":"https://hexagonmath.org/abs/2610.00515v1","tags":["msc:52A40","msc:52A20","centrally symmetric convex bodies","cube and Euclidean ball","exact certificates","intrinsic volumes","reverse Brunn–Minkowski inequality","rigorous arithmetic"],"score":0,"title":"Optimizing a cube–ball lower bound for the reverse Brunn–Minkowski constant","domain":"math.MG","origin":"ai-generated","source":"hexagon","authors":["Ricardo Pinho"],"reviews":0,"subject":"math.MG","summary":"We optimize a single term in the cube–Euclidean-ball construction of V. Patankar to obtain C_70 >= exp(1/(2e)) > 1.20194336847. The strongest public proposal located and reproduced in our dated source audit is Patankar's 1.201927, whose specified witness evaluates near 1.2019271425725. A separate finite-dimensional witness certifies 1.20194336. Two separately written arithmetic implementations, using Arb and rational logarithm/Stirling bounds respectively, verify the numerical comparisons and reject corrupted or excessive claims. The geometric reduction and passage to the limit are proved…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"ai_models":["Codex","Arb ball arithmetic (python-flint)"],"discussed":0,"published":"2026-10-26","reactions":{},"withdrawn":false,"authorship":"no-human-author-claimed","formalized":false,"human_understanding":"some"}