快科技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上提供下载和部署，包括模型权重、源代码等。
（举报）
本期AI日报重点报道了多项AI领域突破性进展：1.月之暗面推出万亿参数开源大模型Kimi K2，展现强大智能能力；2.智源研究院开源RoboBrain2.0和RoboOS2.0机器人系统；3.通义千问发布桌面客户端Qwen Chat；4.IndexTTS2实现影视级语音合成；5.HuggingFace开源机器人Reachy Mini热销；6.Meta推出实时视频生成模型StreamDiT；7.PixVerse新增多关键帧视频生成功能；8.特斯拉推出仅支持AMD处理器的Grok AI助手；9.OpenAI推迟开源大模型发布以加强安全测试；10.Liquid AI开源边缘AI模型LFM2；11.AI"时间穿越"特效在社交媒体走红。
当各家冰淇淋品牌“争奇斗艳”的时候，国际冰淇淋巨头“梦龙冰淇淋”也在这个热浪滚滚的七月迎来关键进展。 7月1日，梦龙冰淇淋公司正式完成了从联合利华集团的剥离。一直以来，联合利华的冰淇淋业务拥有和路雪、梦龙、可爱多等多个知名品牌，占据全球20%的市场份额，是名副其实的冰淇淋巨头。 若用2024年份额绝对值来计算，联合利华冰淇淋业务的体量约等于2个雀
文章指出中小企业是中国经济的"毛细血管"，贡献了50%以上税收、60%以上GDP、70%以上技术创新和80%以上城镇就业。在融资难题下，城商行是关键一环。宁波银行凭借差异化战略定位、数字化赋能、产品创新和区域深耕，成为服务中小企业的标杆。其通过"四专"模式、智能风控系统和本土化服务，实现普惠小微贷款余额2199亿元，不良率连续18年低于1%。文章认为宁波
本文分析了当前主流AI语音大模型的核心优势与应用场景。全球顶尖模型包括：OpenAI Whisper（多语言识别与翻译）、Google Gemini（情感化语音生成）、Meta AudioCraft（音乐创作与风格转换）。国内讯飞星火（方言识别）、阿里通义（电商客服）、百度文心（车载场景）表现突出。技术突破点在于云端协同架构、零样本克隆和情感语音合成。选择模型需考虑语言支持、场景适配、部署
Moonshot AI于2025年7月11日发布开源大模型Kimi K2，主打代码编写、数学推理和Agent工具调用功能。该模型采用MoE架构（1T参数，激活32B），在SWE-Bench等测试中表现优异，数学推理得分达97.4。支持128k上下文、工具调用和API集成，定价为输入4元/百万tokens、输出16元/百万tokens。相比闭源模型，Kimi K2具有开源免费、成本低等优势，适合开发者和企业使用。同时推荐AIbase平台，可系统比较�
测试完以后，我觉得这玩意，还是值得我将近通宵写一篇的。 深度研究，也就是DeepResearch。 我过去写过很多次秘塔AI了，因为我自己的搜索习惯，现在基本就是，大活上ChatGPT用DeepResearch，常识问答直接找豆包，一般的AI搜索就是秘塔AI。 当然很多ChatBot产品都有AI搜索，但是我自己这两年，还是习惯用秘塔AI和Perplexity这样形态的原生AI搜索产品了，这可能就是习惯的力量吧。
6月27日，WAIB Summit 2025在摩纳哥举行，汇聚全球Web3领域顶级投资机构、合规监管专家及行业创新者。WEEX交易所作为合规交易平台代表出席，其副总裁Andrew Weiner在开幕论坛指出，当前Web3市场资金正转向具有稳定价值锚定和监管保障的数字资产场景，强调"资金选择不是热度，而是长期信任"。WEEX通过多国合规牌照和用户赔付机制建设，正加速全球化布局。峰会期间，WEEX与�
【AI日报】今日AI领域重要动态：1)美图推出RoboNeo，通过自然语言指令实现图片精修、品牌设计等全能影像处理；2)Unsloth AI将Kimi K2模型量化至1.8bit，体积缩减78%保持性能；3)谷歌Gemini嵌入模型登顶MTEB榜单，超越OpenAI；4)亚马逊发布免费AI代码编辑器Kiro，集成Claude模型；5)Claude新增应用工具目录功能提升工作效率；6)MiniMax完成近3亿美元融资，估值超40亿美元；7)UTCP新协议让AI代理直
继甲亢哥中国行后，全球第一网红“MrBeast”也有来华打算，或于年底来华拍摄内容。 “MrBeast”因豪横撒钱玩挑战的事迹获称“撒钱哥”，其YouTube主账号粉丝量达4亿，海外狂揽8亿粉丝。近期他频繁在国内博主视频中“刷脸”，并接受国内博主专访、邀请国内博主赴美合拍视频，为进军中文互联网预热。 其工作室资金雄厚，视频制作成本高昂，每期预算高达数百万美元，凭�
AI日报栏目汇总了近期AI领域的重要进展：1)字节跳动开源EX-4D框架，可将单目视频转换为多视角4D视频；2)B站开源动漫视频生成模型AniSora V3，支持多种风格；3)DeepSWE+开源基于Qwen3-32B的AI Agent系统；4)字节开源3亿参数图像编辑模型VINCIE-3B；5)Stability AI推出移动端音频生成模型Stable Audio Open Small；6)谷歌发布免费教育AI工具套件Gemini for Education；7)Topview推出革命性AI数字人带货技术Avatar
