DeepSeek’s self-correcting AI model aces tough maths proofs - Mohana Basu (Nature, 2025)