Ehrhart’s volume conjecture

Ehrhart’s volume conjecture

Model / AI: OpenAI (unreleased)

OpenAI reports a resolution with an accompanying Lean artifact.

Source read 2026-09-08. Read the linked source to identify this individual result and its attribution; proofs were not independently checked.

• Lean — OpenAI's ten advances
• Lean — Result-specific Lean file