Calude, C. (2026). Axiom Bits and Proof Length: Short Review. SuperIntelligence - Robotics - Safety & Alignment, 3(3). https://doi.org/10.70777/si.v3i3.17385