DeepSeek's self-correcting AI model aces tough maths proofs. — SciRadar