Codestral是法国人工智能初创公司Mistral AI推出的一款代码生成AI模型，专为提高软件开发效率而设计，支持超过80种编程语言，包括但不限于Python、Java、C、C++等主流语言，以及Swift、Fortran等特定领域语言。Codestral能够理解自然语言指令，帮助开发者快速完成编程任务，如编写代码、生成测试用例和补全部分代码。作为一个220亿参数的模型，Codestral在性能和响应时间方面超越了以往的代码生成模型。
更多信息详见Mistral AI的博客：
DeepSeek-V2.5-1210是DeepSeek 推出的 DeepSeek V2 系列收官AI模型，DeepSeek V2.5 的最终版微调模型。模型基于Post-Training迭代，在数学、编程、写作和角色扮演等方...
DeepSeek-V2.5 是DeepSeek推出的融合通用与代码能力的全新开源模型。保留了之前 Chat 模型的通用对话能力以及 Coder 模型的代码处理能力，更好地对齐了人类的偏好，并且在写作任务、指令跟随等多个方面实...
DeepSeek-R1T-Chimera 是TNG科技公司推出的开源语言模型。结合 DeepSeek V3-0324 和DeepSeek R1两种模型的优势，基于创新的构建方法，将两者的神经网络组件融合，而非简单的微调或蒸馏...
DeepSeek-R1-Lite是DeepSeek推出的推理模型预览版，DeepSeek-R1-Lite用强化学习训练，具备长思维链推理能力，能实时展示推理思考过程，性能在多个基准测试中超越GPT-4等模型。模型在数学、编程...
DeepSeek-R1-0528 是 DeepSeek 团队推出的最新版AI模型。模型基于 DeepSeek-V3-0324 训练，参数量达 660B。模型在 HuggingFace 上开源，开发者能自由使用和修改。...
DeepSeek-R1是杭州深度求索公司 DeepSeek 推出的高性能AI推理模型，对标OpenAI的o1正式版。DeepSeek-R1推理模型通过大规模强化学习技术进行后训练，仅需极少量标注数据，便能在数学、代码和自然语...
DeepSeek-Prover-V2 是深度求索团队 DeepSeek 开源的专注于数学推理的超大规模语言模型。包含两个版本：DeepSeek-Prover-V2-671B 和 DeepSeek-Prover-V2-7B，分...
DeepSeek-Prover-V1.5是由DeepSeek团队开发的开源数学大模型，拥有70亿参数。模型通过结合强化学习（RLPAF）和蒙特卡洛树搜索（特别是RMaxTS变体），在数学定理证明方面取得了显著的效率和准确性提...
全部评论
留言在赶来的路上...
发表评论