Etiqueta: DeepSeek-Prover-V2

Diario de IA – 2025-05-01(Tarde)

Actualización y reversión de GPT-4o Corrección de comportamiento adulador excesivo en GPT-4o DeepSeek-Prover-V2 Modelado de texto largo con DiffTransformer Modelo de inferencia Phi-4 Modelo Phi-4-reasoning-plus de Microsoft Optimización de inferencia MoE Protocolo de agentes de IA Rendimiento en demostración de teoremas de DeepSeek-Prover-V2 Soporte multilingüe de Qwen3-235B Técnicas de post-entrenamiento para LLM Tongyi Qianwen Qwen3

Diario de IA – 2025-05-01(Tarde)

Análisis de riesgos en la cadena de suministro de IA Aprendizaje por refuerzo Cadena de suministro de IA DeepSeek-Prover-V2 DeepSeek-Prover-V2-671B Equidad en el ranking LMArena Método RLVR para razonamiento matemático Métodos de evaluación de IA Modelo de razonamiento matemático a gran escala Modelo multimodal Modelos de gran escala de código abierto Qwen2.5-Omni-3B Qwen3