Nature

DeepSeek’s self-correcting AI model aces tough maths proofs

• Mohana Basu

2025-12-04

Full text

DOI https://doi.org/10.1038/d41586-025-03959-9