AI信息差

奕然 发自 凹非寺 量子位 | 公众号 QbitAI “因为不是AI First，我在终面挂了。” 最近，一外国小哥的经历意外火了！ 他表示自己几个月前被解雇，终于来到了一家自己本来很看好的初创公司，并且走到了终面，与CEO面对面。 原本以为很顺利，结果就因为在面试时，说到自己工作不会优先使用AI，面试完5min就收到了拒信。 It finally ha...

文｜南都·湾财社记者 程洋 7月23日，影石创新（Insta360）正式宣布进军无人机市场，引发业内广泛关注。据接近该公司的人士透露，影石已启动无人机业务布局，计划推出两个品牌的产品，一个为影石自有品牌，另一个与第三方合作孵化，同时也在积极评估行业内的投资机会。 就在官宣前不久，网络上流传出两款疑似影石无人机的产品照片，分别印有“Insta360”和“...

此次配售用于持续扩大商汤大装置的规模，支持生成式人工智能的研发，探索具身智能等方面的应用。 文|黄心怡 今日早间，商汤科技在港交所发布公告，根据一般授权配售新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...