Çinli yapay zeka geliştiricisi DeepSeek, matematikle ilgili kanıtları ve teoremleri çözmek için tasarlanmış yapay zeka modeli Prover'ı güncelledi.