DeepSeek dévoile le Prover-V2 pour l’IA mathématique

DeepSeek lance le Prover-V2 sur Hugging Face, un modèle mathématique efficace basé sur 671 milliards de paramètres, renforçant ses capacités IA.
Taobao lance un service de livraison en une heure

Alibaba lance Taobao Instant Commerce, livraisons en moins d’une heure dans 50 villes, stimulant la concurrence dans le e-commerce chinois.