title: "Optimizing a cube-ball lower bound for the reverse Brunn-Minkowski constant"
author: "Ricardo Pinho (ORCID 0009-0006-2744-2599)"
status: "Unrefereed preprint, 23 October 2026. Not peer reviewed; not formally verified; exhaustive priority is not asserted."
repository: "https://github.com/rpinho/c70-certificate/tree/680e074bb50929734bfd76484d716cd3e85827f0"
tao_table_pr: "https://github.com/teorth/optimizationproblems/pull/259"
run_checkers_from_this_folder:
  - "python3.12 -B verify_c70_arb.py certificates/c70_candidate.json   # needs python-flint 0.9.0"
  - "python3.12 -B independent/verify_c70_rational.py certificates/c70_candidate.json"
checker_provenance: "Both checkers were written separately by the same AI agent. No independent human review or proof-assistant formalization."
ai_use: "Analysis and proof drafting by AI agents under my direction; I reviewed the results at summary level. AI agents also prepared the certificate, checkers and publication materials."
credit: "Builds on V. Patankar's cube-and-ball construction."
licenses: "Paper CC BY 4.0. Checker code and certificate: MIT (see the repository)."