Artificial intelligence
fromNature
6 days agoDeepSeek's self-correcting AI model aces tough maths proofs
DeepSeekMath-V2 scored 118/120 on the 2024 Putnam, surpassing top humans and using self-verifiable reasoning to detect and correct its own errors.