C. Calude, “Axiom Bits and Proof Length: Short Review”, SI, vol. 3, no. 3, Sep. 2026.