日期: 2025 年 6 月 18 日
Kimi-Dev：强大的开源编程LLM，助力软件开发任务
Kimi-Dev 是一款强大的开源编程LLM，性能超越其他开源模型，在SWE-bench Verified上达到60.4%；支持本地部署和Hugging Face使用，并通过大规模强化学习优化解决方案的准确性和鲁棒性。
SongGeneration：腾讯AI实验室推出的高质量歌曲生成项目
腾讯AI实验室推出的SongGeneration项目基于LeLM框架实现高质量歌曲生成，支持多偏好对齐和多种音乐风格表达，模型性能超越开源模型。
MiniMax-M1：全球首个开源权重的大规模混合注意力推理模型，专为处理长输入和复杂任务而生
全球首个开源权重的大规模混合注意力推理模型MiniMax-M1发布，支持100万token上下文长度，计算效率提升75%，在复杂任务中表现卓越。
开源AI图像修复神器！狂揽21K+标星，擦除、替换、扩展一键搞定！
一款基于最新SOTA AI模型的开源图像修复工具IOPaint，提供智能擦除、对象替换、文本编辑等功能，通过Web UI和命令行轻松使用。
形式化证明迈向多模态，MLLM正确率仅4%！港科大等推出全新基准
香港科技大学推出MATP-BENCH基准测试集，评估多模态大模型在处理包含图像和文本的几何定理证明中的能力。实验发现尽管模型在将图文信息转化为形式化定理方面有一定能力，在构建完整证明时面临复杂逻辑推理和辅助线构造等重大挑战。
亚马逊CEO：坚信AI Agent，能改变世界工作、生活方式
专注AIGC领域的专业社区分享了微软&OpenAI等大语言模型的发展和应用。亚马逊CEO Andy Jassy强调智能体会改变工作和生活方式，并在公司内部积极应用生成式AI提升效率，未来员工总数可能减少。