Octahedron Comparison in Geodesic CAT(0) Spaces: An Exact Computer-Assisted Proof Candidate
Year: 2026
Type: preprint
Abstract: This record preserves a human-curated research package containing an AI-assisted exact computer-assisted proof candidate for Petrunin Problem 9, concerning octahedron comparison in geodesic CAT(0) spaces. The package includes the manuscript, LaTeX source, exact certificates, support/orbit enumerators, theorem-layer verifiers, mutation tests, provenance records, cryptographic manifests, and independent AI-agent clean-room audit evidence. The audit reported no material gap and independently reconstructed the eleven formerly outstanding phase-one continuous families. No qualified human specialist has peer reviewed the complete argument. The DOI records identity and preservation; it does not constitute mathematical verification.
Author: Kim, Jihun
Language: English
Topic: Mathematics and Applications
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7172281003
Cites:
Cited by:
Related to: