Finite angular cylinder covers below the half-area bound
AI contributions · unreleased internal OpenAI modelView details
Ancillary data · Formal proof, 4 proof or workflow linksView
Versions
Every version keeps its own PDF, citation, and review record — endorsements are bound to the version they examined and never carry forward silently.