Étiquette : Performances de preuve de théorème de DeepSeek-Prover-V2

Quotidien IA – 2025-05-01(Soir)

Correction du comportement de flatterie excessive de GPT-4o DeepSeek-Prover-V2 GPT-4o mise à jour de retour arrière Modèle de raisonnement Phi-4 Modèle Phi-4-reasoning-plus de Microsoft Modélisation de texte long avec DiffTransformer Optimisation du raisonnement MoE Performances de preuve de théorème de DeepSeek-Prover-V2 Prise en charge multilingue de Qwen3-235B Protocole d'agent IA Qwen3 de Tongyi Qianwen Technologie de post-formation LLM