标签： DeepSeek-Prover-V2

AI日报 – 2025-05-04(下)

AI推理 AI玩具 Deepfake DeepSeek-Prover-V2 DeepSeek-Prover-V2 数学定理证明 GPT-4o GPT-4o 谄媚问题 Qwen3 Qwen3-235B-A22B 大模型大模型虚构行为量子计算量子计算与AI融合

AI日报 – 2025-05-02(下)

AI 智能体 AI 编程智能体 ChatBot Arena Claude Integrations DeepSeek-Prover-V2 Gemini Parakeet-TDT-0.6B-v2 Phi-4-reasoning Qwen3 小模型推理能力排行榜幻觉数学定理证明第三方应用集成 딥시크-프루버-V2

AI日报 – 2025-05-01(下)

AI智能体协议 DeepSeek-Prover-V2 DeepSeek-Prover-V2定理证明性能 DiffTransformer长文本建模 GPT-4o更新回滚 GPT-4o过度谄媚行为修复 LLM后训练技术 MoE推理优化 Phi-4推理模型 Qwen3-235B多语言支持微软Phi-4-reasoning-plus模型通义千问Qwen3

AI日报 – 2025-05-01(上)

AI供应链 AI供应链风险分析 AI评估方法 DeepSeek-Prover-V2 DeepSeek-Prover-V2-671B LMArena排行榜公平性 Qwen2.5-Omni-3B Qwen3 RLVR数学推理方法多模态模型开源大模型强化学习数学推理大模型