Çin’in AI Gamble: Deepseek’in Proveri V2 o kadar büyük ki kendi dairesine ihtiyacı var 🏢🤖
İyi bir Nisan günü-özellikle 30’lu, günlükleri tutanlar için-Deepseek, en son dahilerini sarılma yüzüne yükledi, açık kaynaklı MIT lisansını kapıyı açıp “Herkes davet edildi!” Diye bağırdığı için çok fazla şey değil, çok fazla şey değil, çok fazla şey değil. Prover V2 için ne için? Neden, en kafa karıştırıcı kanıtlarla düello yapmak ve matematiği doğrulamak, böylece filozofları erken yaşlanmaktan kurtarmak.