MiniMax 在 7 月 10 日面向全球举办了 M1 技术研讨会，邀请了来自香港科技大学、滑铁卢大学、Anthropic、Hugging Face、SGLang、vLLM、RL领域的研究者及业界嘉宾，就模型架构创新、RL训练、长上下文应用等领域进行了深入的探讨。
在没有标准答案的开放式对话中，RL该怎么做？多轮对话是大模型最典型的开放任务：高频、多轮、强情境依赖，且“好回复”因人而异。
华强北推出低价AI眼镜，价格78-450元，截胡小米、Rokid等巨头产品。产品分为AI拍摄眼镜和AI音频眼镜，功能基础但销量火爆，月均数千台。厂商快速组装出货，靠价格优势和即买即得吸引消费者尝鲜，性能虽逊但性价比高。行业前景存疑，技术成熟需5年，海外市场更受欢迎。
2025 年 7 月 15 日，韩国游戏创企 Planetarium Labs 宣布，公司旗下 AI 游戏创作分享平台 Verse 8 已正式在 Web 端上线。根据 Planetarium Labs 介绍，在 AI 游戏开发助手 Agent 8 的辅助下，用户可以在 Verse 8 上利用自然语言开发、发行以及分享游戏，不需要下载和安装任何软件/资源。
迄今为止最强大的开源定理证明器登场！Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover，并再次夺下数学PutnamBench冠军。十位核心贡献者，八大顶尖机构，让AI形式化证明再破纪录。
80分钟的一场活动，Agent的“出镜次数”竟能高达217次。 解锁平均20多秒就提一次Agent的，正是云计算一哥，亚马逊云科技。
2025世界人工智能大会（WAIC）将于7月26日至29日举行。
imi K2的发布几乎没什么预兆。 2025年7月11日深夜，月之暗面直接开源了这个万亿参数模型，整个AI圈子一下子就热闹起来。模型的能力很强
近日，由普林斯顿大学牵头，联合清华大学、北京大学、上海交通大学、斯坦福大学，以及英伟达、亚马逊、Meta FAIR 等多家顶尖机构的研究者共同推出了新一代开源数学定理证明模型——Goedel-Prover-V2。
Hi 这里是海辛和阿文~ 前段时间在 X 上看到博主 @sergeantsref 分享了一个 Midjourney 风格代码 --sref 2007748773 ，瞬间被圈粉。
