AI信息差

今天是2025年6月21日，星期六，北京，晴 来看RAG问题，关于代码RAG怎么做chunk 切分，主要核心问题还是要考虑语义完整性。 所以看看代码RAG一般怎么做chunk切分以及改进AST的RAG-code切分方案cAST。 一、代码RAG一般怎么做chunk切分 我们来看代码RAG进展，增强代码检索增强生成，其中一个核心点就是代码分块（chunking...

鹭羽 不圆 发自 凹非寺 量子位 | 公众号 QbitAI 陶哲轩罕见接受了一次长长长长访谈，把他关于数学、AI、教育和人类智慧的最新认知，都对外分享了。 作为菲尔兹奖得主，陶哲轩一直被认为是当世最伟大的数学家之一，而这次在与MIT技术背景的播客大神Lex Fridman的对话，也是他近年来首次接受超3小时的非学术机构访谈，内容覆盖数学前沿、AI形式化验证、...

机器之心报道 编辑：杜伟 在 AI 领域，英伟达开发的 CUDA 是驱动大语言模型（LLM）训练和推理的核心计算引擎。 不过，CUDA 驱动的 LLM 推理面临着手动优化成本高、端到端延迟高等不足，需要进一步优化或者寻找更高效的替代方案。 近日，CMU 助理教授贾志豪（Zhihao Jia）团队创新玩法，推出了一个名为「Mirage Persistent K...

明敏 闻乐 发自 凹非寺 量子位 | 公众号 QbitAI 4位数学家，耗时近10年，将“数学大一统理论”向前推动关键一步！ 1994年，安德鲁·怀尔斯通过证明椭圆曲线与模形式之间的联系，解决了困扰数学界300多年的费马大定理。 时隔30年，4位数学家将这一关键理论从椭圆曲线扩展到了更复杂的数学对象。 这意味着，朗兰兹纲领取得了重大进展。 朗兰兹纲领被视为...

最近，一类「穿越 vlog」爆火了。 有人让 Veo 3 变成「时间机器」，将人们带回历史事件中进行现场直播。 有战地记者在赤壁之战的大火中报道—— （@ YouTube 博主「nowsmon」） 也有人在战争空隙八卦曹操的私生活—— （@ X 博主「KellyV」） 还有人进入王者荣耀对后羿贴脸开大—— （@ 视频号博主「灵感不正经」） 这些脑洞大开...

尽管人工智能（AI）在飞速发展，当前 AI 开发仍严重依赖人类专家大量的手动实验和反复的调参迭代，过程费时费力。这种以人为中心的方式已成为制约创新速度和通向通用人工智能（AGI）的关键瓶颈。为突破限制，AI-for-AI（AI4AI）应运而生。AI4AI 旨在让 AI 作为智能体来自主设计、优化和改进 AI 算法，大幅减少人类干预，加速迭代开发周期，推动 ...

编译 | 宇琪、冬梅 Cursor 推出不到两年，就实现了大多数 SaaS 公司需要十年才能实现的目标：年经常性收入 1 亿美元。 更可怕的数字是，据美国一家纸媒报道，Cursor 每日编写 10 亿行代码。 在硅谷层出不穷的创业故事中，Cursor 的起源看起来像是一个标准模板——四位麻省理工的计算机天才，对“开发者生产力”有着近乎偏执的追求。他们的...

作者 | 冬梅 硅谷的咖啡厅里，永远流传着这样的传说：一个天才开发者，一台电脑，一段颠覆行业的代码。但当 28 岁的 Maor Shlomo 在特拉维夫的公寓里敲下 Base44 的第一行代码时，他没想到这个故事会以 8000 万美元的现金收购落幕——没有风投加持，没有百人团队，只有 8 名员工和 180 天的闪电战。 Wix 周三宣布， 以色列独立开发...

在人工智能领域，多智能体系统（MAS）作为一种强大的工具，能够通过多个智能体的协作解决复杂问题。然而，传统的MAS设计依赖于人工设计智能体角色和通信协议，这不仅效率低下，还难以适应新任务。Salesforce最新推出的MAS-Zero框架，以其零监督的自动设计能力，为这一领域带来了突破性的进展。 一、项目概述 MAS-Zero是Salesforce推出的...

话接上文：刚刚，谷歌三箭齐发：Gemini 2.5 全线转正，Flash-Lite 首次亮相！ 几天前，稳定可商用版本的 Gemini 2.5 系列模型正式上线。 与此同时，谷歌 DeepMind 团队一并发布了《Gemini 2.5 模型技术白皮书》。这是一份涵盖大模型架构、推理机制、多模态能力、系统部署、安全控制等多个层面的完整工程说明。 作为 Gem...