自从 2023 年 Facebook 的母公司 Meta 与知名时尚眼镜品牌雷朋联名,推出了一款带录像功能和语音助手的智能眼镜 Meta AI Glasses 之后,带录像功能的智能眼镜领域就重新火爆了起来。 就在昨夜,美国知名运动眼镜和配件品牌欧克利(Oakley)也宣布了一款与 Meta 合作的智能眼镜—— Oakley Meta HSTN (发音为 h...
国产大模型做出“网页版Cursor”。 作者 | 江宇 编辑 | 漠影 智东西AI前瞻6月21日报道,开源社区明星项目DeepSite本周四发布V2版本,并搭载了最新的DeepSeek R1‑0528推理模型。 这个被社区用户称为“ 网页版Cursor ”的项目,主打轻量化的对话式编程体验:不需要下载安装、也无需本地环境配置,用户只需通过文字提示,...
新智元报道 编辑:定慧 好困 【新智元导读】只要受到威胁,AI就会敲诈人类?在Anthropic最新的研究中,16款顶尖大模型(如Claude、GPT-4.1等)为避免自己被替换,竟会主动敲诈高管、泄露机密。 AI安全性研究又有新发现了,但不是好消息! Anthropic今天披露了一项令人瞠目结舌的研究结果: 在模拟的企业环境中,前沿大模型为了阻止...
文| 杨柳 蚂蚁集团近一周内新增三笔具身智能赛道投资,成为出手最活跃的互联网大厂之一。这三笔投资涵盖人形机器人本体厂商宇树科技、钛虎机器人,以及灵巧手零部件公司灵心巧手。 6月19日,南都记者确认宇树科技完成C轮融资交割,蚂蚁和中国移动旗下基金、腾讯、锦秋基金、阿里、吉利资本共同领投。一家领投方的投资人公开表示:“宇树是这一轮具身智能公司里确定性最高的标的...
今天是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 算法,大幅减少人类干预,加速迭代开发周期,推动 ...