Unleashing Latent Reasoning Beyond Chain-of-Thought. How AI-powered Proof Assistants and Latent Reasoning Are Transforming Mathematical Rigor and Discovery
