DeepSeek
AI对话工具，免费开源，幻方量化旗下深度求索推出的开源大模型和聊天助手
官网：https://www.deepseek.com
DeepSeek是什么
DeepSeek是知名私募巨头幻方量化旗下的人工智能公司深度...
DeepSeekProverV2–DeepSeek推出的开源数学推理大模型
AI工具百科：
DeepSeekProverV2是什么
DeepSeekProverV2是深度求索团队 DeepSeek 开源的专注于数学推理的超大规模语言模型。包含两个版本：DeepSeekProverV2671B 和 DeepSeekProverV27...
MAIDSR1–微软开源的AI模型，基于DeepSeekR1改进版
AI工具百科：
MAIDSR1是什么
MAIDSR1 是微软基于 DeepSeek R1 改进的AI模型。MAIDSR1基于后训练优化，支持响应 99.3% 的敏感话题提示，比原版提升 2 倍，将有害内容风险降低 50%。
...
