安爸

新智元报道 编辑：定慧 好困 【新智元导读】只要受到威胁，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 算法，大幅减少人类干预，加速迭代开发周期，推动 ...

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

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