AI信息差
因为不用AI写代码，我在终面挂了 一个程序员的奇葩面试经历
奕然 发自 凹非寺 量子位 | 公众号 QbitAI “因为不是AI First，我在终面挂了。” 最近，一外国小哥的经历意外火了！ 他表示自己几个月前被解雇，终于来到了一家自己本来很看好的初创公司，并且走到了终面，与CEO面对面。 原本以...
大疆迎来强劲对手！影石创新宣布进军无人机市场
文｜南都·湾财社记者 程洋 7月23日，影石创新（Insta360）正式宣布进军无人机市场，引发业内广泛关注。据接近该公司的人士透露，影石已启动无人机业务布局，计划推出两个品牌的产品，一个为影石自有品牌，另一个与第三方合作孵化，同时也...
商汤拟配售25亿港元，用于支持生成式AI、具身智能等业务
此次配售用于持续扩大商汤大装置的规模，支持生成式人工智能的研发，探索具身智能等方面的应用。 文|黄心怡 今日早间，商汤科技在港交所发布公告，根据一般授权配售新B类股份。于2025年7月23日（香港联交所交易时段后），公司配售16.67亿...
32B小模型吊打671B巨无霸？普林斯顿清华联手扔出AI数学界”王炸”！
在人工智能领域，定理证明一直是极具挑战性的研究方向之一。随着深度学习技术的发展，AI在数学定理证明方面取得了显著进展。Goedel-Prover-V2是由普林斯顿大学、清华大学、英伟达等顶尖机构联合推出的一款开源定理证明模型，它通过创新的...
Kimi 刚登顶，阿里连发两模型反击！国产大模型，卷疯了
最近的国产 AI 圈，是真的热闹。 就在上周，月之暗面凭借 Kimi K2，一举击败 DeepSeek、阿里 Qwen、Meta Llama，坐上了全球开源模型排行榜的头把交椅。 Kimi K2 登顶开源模型榜首，DeepSeek 和 Q...
在一个智能体中，提示词应该有那几个模块组成？
“ 为了引导提升大模型输出质量，因此输入大模型的提示词需要有特定的模板。” 在前面的文章中说过大模型的应用开发，本质上就是对提示词对封装，那么在一个大模型应用中，提示词应该有那几个模块呢？ 下面，我们以智能体开发为例，阐述一下提示词应该...
【Agent专题】Agent工作原理：Agent的5个关键阶段：输入处理、理解与分析、决策制定、行动执行以及反馈和学习。
想真正用好一个 AI Agent，光会调接口是不够的，你得先理解它背后的运行逻辑。 其实，一个成熟的 AI Agent，并不是简单的“接收指令 → 执行任务”这么直线，它更像一个拥有闭环认知与自我进化能力的智能系统。 它的整个工作过程，就...
刚刚！AI大模型彻底爆发了！！
说真的，这两年看着身边一个个搞Java、C++、前端、数据、架构的开始卷大模型，挺唏嘘的。大家最开始都是写接口、搞Spring Boot、连数据库、配Redis，稳稳当当过日子。 结果GPT、DeepSeek火了之后，整条线上的人都开始有点...
技术再总结：7个开源大模型数据合成工具-涵盖微调、强化、RAG任务
今天是2025年7月24日，星期四，北京，雨。 我们继续来看技术进展，继续回归到数据合成的这个主题。 看7个代表性的大模型数据合成工具，其中包括强化学习数据、RAG数据、微调数据等，可以从已有的工具上观察到一些点。 核心还是要梳理清楚逻辑，...
我用Qwen3-Coder和Kimi k2打了个PK，它真的更强了！
作者｜子川 来源｜AI先锋官 建议直接把“卷王”的称号直接焊在阿里千问团队的头上！ 昨天还在感叹Qwen3-235B-A22B登顶开源模型，没想到今天又放了个大招——Qwen3-Coder！ 相关阅读：重磅！阿里Qwen3超越Kimi-K...