AI进家庭

此次配售用于持续扩大商汤大装置的规模，支持生成式人工智能的研发，探索具身智能等方面的应用。 文|黄心怡 今日早间，商汤科技在港交所发布公告，根据一般授权配售新B类股份。于2025年7月23日（香港联交所交易时段后），公司配售16.67亿股认购股份。预计配售总额约为25亿港元，扣除配售代理费及其他相关开支后，配售所得款项净额约为24.98亿港元。此次配售由...

在人工智能领域，定理证明一直是极具挑战性的研究方向之一。随着深度学习技术的发展，AI在数学定理证明方面取得了显著进展。Goedel-Prover-V2是由普林斯顿大学、清华大学、英伟达等顶尖机构联合推出的一款开源定理证明模型，它通过创新的技术手段显著提升了自动形式化证明生成的性能，为AI在数学定理证明领域树立了新的里程碑。 一、项目概述 Goedel-P...

最近的国产 AI 圈，是真的热闹。 就在上周，月之暗面凭借 Kimi K2，一举击败 DeepSeek、阿里 Qwen、Meta Llama，坐上了全球开源模型排行榜的头把交椅。 Kimi K2 登顶开源模型榜首，DeepSeek 和 Qwen 分列第二、第三，国产模型形成三强格局 不过这个“第一”的位置还没捂热，阿里 Qwen 就突然发力，在两天内连续发...

“ 为了引导提升大模型输出质量，因此输入大模型的提示词需要有特定的模板。” 在前面的文章中说过大模型的应用开发，本质上就是对提示词对封装，那么在一个大模型应用中，提示词应该有那几个模块呢？ 下面，我们以智能体开发为例，阐述一下提示词应该有那几个模块组成。 智能体中的提示词模块 1⃣ System Prompt（系统提示） 作用： 为大模型定义角色、风...

想真正用好一个 AI Agent，光会调接口是不够的，你得先理解它背后的运行逻辑。 其实，一个成熟的 AI Agent，并不是简单的“接收指令 → 执行任务”这么直线，它更像一个拥有闭环认知与自我进化能力的智能系统。 它的整个工作过程，就像一个复杂而有机的循环系统，通常包括五个关键阶段：输入处理、理解与分析、决策制定、行动执行以及反馈和学习。 这不仅是 A...

说真的，这两年看着身边一个个搞Java、C++、前端、数据、架构的开始卷大模型，挺唏嘘的。大家最开始都是写接口、搞Spring Boot、连数据库、配Redis，稳稳当当过日子。 结果GPT、DeepSeek火了之后，整条线上的人都开始有点慌了，大家都在想：“我是不是要学大模型，不然这饭碗还能保多久？” 我先给出最直接的答案：一定要把现有的技术和大模型结合起...

今天是2025年7月24日，星期四，北京，雨。 我们继续来看技术进展，继续回归到数据合成的这个主题。 看7个代表性的大模型数据合成工具，其中包括强化学习数据、RAG数据、微调数据等，可以从已有的工具上观察到一些点。 核心还是要梳理清楚逻辑，多思考，多借鉴。 一、6个代表性的大模型数据合成工具回顾 数据合成进展，实际上，大模型数据合成工具或者项目有很多，我们也...

作者｜子川 来源｜AI先锋官 建议直接把“卷王”的称号直接焊在阿里千问团队的头上！ 昨天还在感叹Qwen3-235B-A22B登顶开源模型，没想到今天又放了个大招——Qwen3-Coder！ 相关阅读：重磅！阿里Qwen3超越Kimi-K2、DeepSeek-V3登顶，附一手实测 重要的是，效果针不戳，实测下来，速度贼快！ 在 Agentic Coding...

Manus为迷茫的AI从业者定义了Agent的产品范式，至此，一场以华人为主角的AI Agent创业热潮，正在席卷全球。 文｜ 周鑫雨** 编辑 ｜ 苏建勋 2025年6月末，美国旧金山的一场科技峰会中。一张传单，出现在多场闭门会的每个座位上。这张A4纸白底黑字，炫耀式地印着两行大字： $36 Million ARR in 45 Days,...

《涌现NewThings》是我们关注新兴AI应用的一档新栏目，如果你也是文生图/视频、情感陪伴、Coding、智能硬件等等AI应用创业者，只要你够新、够炫、够好玩，都欢迎添加文末作者微信与我们联系。 文｜ 富充** 编辑 ｜ 苏建勋 职场人苦“做PPT”久矣。 基于这一痛点，一个凭借“一句话、一分钟、一键生成PPT”的AI办公类项目，在20...