快科技6月17日消息，月之暗面推出了针对软件工程任务的全新开源代码大模型Kimi-Dev-72B。
该模型在SWE-bench Verified编程基准测试中取得了全球最高开源模型水平，以仅72B的参数量，超越了刚发布不就、参数量达671B的新版DeepSeek-R1。
该模型通过大规模强化学习进行优化，能够自主修补Docker中的真实存储库，并且只有当整个测试套件通过时才会获得奖励，从而确保了解决方案的正确性和稳健性。
Kimi-Dev-72B的设计理念和技术细节包括BugFixer和TestWriter的组合、中期训练、强化学习和测试时自我博弈。
其中，BugFixer和TestWriter的互补设计奠定了模型的基础，使其在修复错误和编写测试方面表现出色。
中期训练则通过约1500亿个高质量的真实数据，增强了模型对实际Bug修复和单元测试的理解。
强化学习阶段则专注于提升其代码编辑能力，使其在文件本地化和代码编辑方面表现出色。
目前，Kimi-Dev-72B已在Hugging Face和GitHub上提供下载和部署，包括模型权重、源代码等。
（举报）
更新后的 R1 拥有 6850 亿个参数，体量庞大。由于模型规模极大，普通消费者级别的硬件很可能无法直接运行。
日前，DeepSeek R1模型迎来重磅升级，正式发布DeepSeek-R1-0528全新版本。 从模型开源到上线仅用不到1天时间，腾讯即宣布腾讯元宝、ima、搜狗输入法、QQ浏览器等多款产品再次迎来升级，率先接入DeepSeek R1-0528，多项能力全面提升。 腾讯表示，用户打开元宝（电脑版、网页版可抢先体验）、ima（任意版本）、搜狗输入法（Windows版侧边栏）、QQ浏览器（任意版本），选择DeepSeek模型R
本文介绍DeepSeek-R1开源模型的本地部署方法。5月末该模型更新至0528版本，在数学计算和逻辑推理方面表现优异，同时降低了幻觉率。部署过程分为三步：1）使用Ollama一键部署模型；2）通过Docker安装Open WebUI实现图形界面交互；3）借助贝锐花生壳内网穿透技术实现安全远程访问。相比传统云部署方式，该方法更便捷安全，支持HTTPS加密传输、访问密码保护和权限控制等功能，有效防止未授权访问。整个过程简单高效，无需复杂操作或依赖云服务器，即可打造专属AI助手。
不知道还有多少人记得，AI行业的六小虎。 行业内都在说，他们已经寂静好久了。 上一次相关的项目发布，还是前一段时间我写的MiniMax声音模型的更新，Speech-02。 而昨晚凌晨将近12点的时候，又是MiniMax，居然在X上，预告了他们一整周的发布计划。
5月29日，DeepSeek宣布R1模型完成小版本升级，实测表现惊艳。新版R1在编程能力上达到国际一流水准，代码生成、理解和修正能力突出，部分任务表现优于Claude 4。该版本在网页生成、小游戏制作、复杂Bug修复等场景展现强大实力，同时在美食翻译、脱口秀创作等需要特定风格的任务中也有出色表现。用户可通过官网、App和小程序测试新版本，API接口和使用方式保持不变。实测显示，0528版本R1在文本处理、绘图板修复、图片画框效果等方面均有显著提升。
GPTBots.ai平台宣布集成深度求索(DeepSeek)最新开源模型DeepSeek-R1-0528，该模型在推理能力上媲美OpenAI和Google的顶级模型，性能显著提升：数学竞赛准确率从70%提升至87.5%，编程性能从63.5%提升至73.3%。该模型支持JSON输出与函数调用，可无缝嵌入企业工作流，同时推出轻量级版本DeepSeek-R1-0528-Qwen3-8B，仅需16GB GPU内存即可运行。此次集成将强化GPTBots为企业提供金融、医疗、教育等领域的AI解决方案能力，助力企业构建定制化AI应用。平台秉持开源理念，采用MIT许可协议，支持商业使用与定制开发。
本教程介绍如何利用AI工具DeepSeek快速生成七年级中国古代史教案。操作流程包括：1.登录DeepSeek官网；2.进入文本生成界面；3.输入详细指令，包含教学目标、重难点、教学过程等要素；4.等待AI生成教案；5.检查并调整内容。该工具能帮助教师高效完成系统化的教案设计，但生成后仍需根据实际教学需求进行适当修改和完善，最后保存为所需格式使用。
理想同学手机、网页端已正式接入DeepSeekR1-0528最新版，切换DeepSeek模型”并开启深度思考”模式即可体验最新的AI问答、创作能力。 据悉，更新后的R1模型在数学、编程与通用逻辑等多个基准测评中取得了当前国内所有模型中首屈一指的优异成绩，并且在整体表现上已接近其他国际顶尖模型，如o3与Gemini-2.5-Pro。 在复杂逻辑推理、长文本处理稳定性、代码生成质量等多方面能力
本文介绍了如何利用DeepSeek AI工具降低学术论文重复率。该工具能对重复率超标的段落进行学术化改写，在保证专业术语准确性的同时降低查重率。使用方法是：1)在DeepSeek网站输入降重指令和段落；2)可指定改写风格（如某期刊格式）或具体方向（如主动改被动句）；3)审查改写结果，确保语义准确、术语恰当、逻辑连贯。若发现问题可再次优化。该工具适用于毕业论文、期刊�
本文介绍如何利用DeepSeek AI工具高效审核合同法律风险。合同是商业活动的重要保障，但隐藏的法律风险可能带来巨大损失。DeepSeek能快速识别合同条款中的合法性存疑、违约责任模糊、交付条款不清等问题，并提供专业修改建议。操作流程包括：1.登录DeepSeek平台；2.上传合同文件；3.输入审核指令；4.查看详细审核结果。该工具适用于企业法务、律师及商务人员，能有效规避合同风险，提高审核效率。
