NatureDeepSeek's self-correcting AI model aces tough maths proofs.Mohana BasuPublished: 202510.1038/d41586-025-03959-9No abstract available for this study.View at DOI