Tokens and Proofs

Reflections on AI reasoning and beyond