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