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