Problem detail · source-aware
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Ehrhart conjectured that a full-dimensional compact convex body in $\mathbb{R}^n$ whose barycenter is its unique interior lattice point has volume at most $(n+1)^n/n!$. With the inequality itself settled, the remaining question was which bodies attain it. Every such body is a unimodular image of the simplex $(n+1)\Delta_n - (1,\dots,1)$.
The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.
The paper states the main result was obtained by generative AI, naming GPT-5.6-sol, Fable 5 and the Danus system, and its comment records essential human strategic input followed by human verification.
Provider: unknown · Prompt public: unknown · Independence: unknown
No independent check. arXiv preprint; not yet peer-reviewed. The author records having verified the machine-produced argument.
Correctness: unknown · statement fidelity: unaudited · peer review: none
the equality case; the inequality was settled separately and is tracked on its own entry
Source-reported tools: argument.
Independent: unknown · difference confidence: 0
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.