Ставка Китая на ИИ: DeepSeek Provrer V2 настолько велик, что ему нужен собственный офис
Одним прекрасным апрельским днем — точнее 30 апреля для тех, кто ведет дневники, — DeepSeek опубликовали свою последнюю диковину на Hugging Face, не столько приняв открытую лицензию MIT, сколько распахнув дверь и крича: «Все приглашены!» Что такое Provér V2? А, чтобы сразиться с самыми запутанными доказательствами и проверить математику, тем самым спасая философов от преждевременного старения.