Mohana Basu. "DeepSeek’s self-correcting AI model aces tough maths proofs." Nature, 2025. doi:10.1038/d41586-025-03959-9