Physical AI
是当前科技领域的热门词汇，英伟达、咨询公司、投资者和机器人初创企业都在讨论它。简单来说，Physical AI 是连接真实世界中感知与行动的闭环人工智能系统。与仅存在于屏幕上的传统AI不同，它能通过传感器感知环境、做出决策并执行物理动作，如机器人抓取杯子、自动驾驶汽车行驶等。Physical AI 并非单一模型，而是一个包含感知、决策与执行组件的完整系统。它常与世界模型、具身智能等概念混淆：世界模型仅能预测环境变化，而Physical AI 能实际作用于真实世界；具身智能则更强调智能体拥有物理身体，两者虽有重叠但侧重点不同。 #PhysicalAI #人工智能 #机器人 #世界模型 #具身智能 #科技前沿
是当前科技领域的热门词汇，英伟达、咨询公司、投资者和机器人初创企业都在讨论它。简单来说，Physical AI 是连接真实世界中感知与行动的闭环人工智能系统。与仅存在于屏幕上的传统AI不同，它能通过传感器感知环境、做出决策并执行物理动作，如机器人抓取杯子、自动驾驶汽车行驶等。Physical AI 并非单一模型，而是一个包含感知、决策与执行组件的完整系统。它常与世界模型、具身智能等概念混淆：世界模型仅能预测环境变化，而Physical AI 能实际作用于真实世界；具身智能则更强调智能体拥有物理身体，两者虽有重叠但侧重点不同。 #PhysicalAI #人工智能 #机器人 #世界模型 #具身智能 #科技前沿
对话 MiniMax 择因：AI Agent 终将超越人类，我们该如何自处
在最新一期技术对话中，MiniMax 联合创始人择因深入探讨了 AI Agent 的未来发展。他指出，随着大模型能力的持续进化，AI Agent 在特定任务上的表现终将超越人类，这并非危言耸听，而是技术发展的必然趋势。择因认为，Agent 的核心优势在于其强大的信息处理、任务规划和自主执行能力，能够高效完成重复性、高精度的工作。然而，他也强调，人类独有的创造力、情感理解和价值判断在可预见的未来仍难以被替代。面对这一变革，社会需要重新思考教育体系、职业结构以及人机协作的新模式，引导技术向善，确保人类在 AI 时代保持主导地位。 #AI #Agent #MiniMax #人工智能 #科技趋势 #人机协作
在最新一期技术对话中，MiniMax 联合创始人择因深入探讨了 AI Agent 的未来发展。他指出，随着大模型能力的持续进化，AI Agent 在特定任务上的表现终将超越人类，这并非危言耸听，而是技术发展的必然趋势。择因认为，Agent 的核心优势在于其强大的信息处理、任务规划和自主执行能力，能够高效完成重复性、高精度的工作。然而，他也强调，人类独有的创造力、情感理解和价值判断在可预见的未来仍难以被替代。面对这一变革，社会需要重新思考教育体系、职业结构以及人机协作的新模式，引导技术向善，确保人类在 AI 时代保持主导地位。 #AI #Agent #MiniMax #人工智能 #科技趋势 #人机协作
本地大模型量化提速14倍
Andrea Borio 近日分享了一项优化本地大模型量化效率的技术。他使用 DeepSeek-V4-Flash 模型，原本完整量化一次需要约80分钟，但通过新开发的工具 forgequant，仅需5分钟即可完成调整后的版本。该模型约81GB，运行在64GB内存的Mac上，依赖 antirez 的 ds4 技术将专家模型按需从SSD流式加载，而非全部驻留内存。量化过程将模型参数从16位压缩至2-4位，但关键在于减少比特浪费而非单纯降低位数。DeepSeek 作为混合专家模型，每层有256个专家，仅少数被激活。Borio 的策略是保持决策部分高精度（8位），对专家部分采用激进压缩（2位）。其核心创新在于利用量化的确定性：当调整部分层精度时，仅重算变更的张量，其余37层直接复制先前结果。测试中，1328个张量中1310个直接复制，仅18个重算，将80分钟的重建缩短至5.5分钟，且输出结果完全一致。 #AI #大模型 #量化 #DeepSeek #技术优化 #机器学习 #本地部署
Andrea Borio 近日分享了一项优化本地大模型量化效率的技术。他使用 DeepSeek-V4-Flash 模型，原本完整量化一次需要约80分钟，但通过新开发的工具 forgequant，仅需5分钟即可完成调整后的版本。该模型约81GB，运行在64GB内存的Mac上，依赖 antirez 的 ds4 技术将专家模型按需从SSD流式加载，而非全部驻留内存。量化过程将模型参数从16位压缩至2-4位，但关键在于减少比特浪费而非单纯降低位数。DeepSeek 作为混合专家模型，每层有256个专家，仅少数被激活。Borio 的策略是保持决策部分高精度（8位），对专家部分采用激进压缩（2位）。其核心创新在于利用量化的确定性：当调整部分层精度时，仅重算变更的张量，其余37层直接复制先前结果。测试中，1328个张量中1310个直接复制，仅18个重算，将80分钟的重建缩短至5.5分钟，且输出结果完全一致。 #AI #大模型 #量化 #DeepSeek #技术优化 #机器学习 #本地部署
Insta360 Luna Ultra 8K 手持稳定相机登陆美国市场
经过数月预热、泄露、在 NAB 2026 低调亮相以及中国首发后，Insta360 终于宣布其首款手持稳定相机 Luna Ultra 在全球上市。该相机配备双 8K 摄像头，搭载三轴云台，相比最高仅支持 4K 拍摄的 DJI Osmo Pocket 4 和 Pocket 4P，实现了画质升级。尽管 DJI 最新款手持稳定相机仍未在美国销售，但 Luna Ultra 即日起可通过 Insta360 官网、亚马逊、B&H 和百思买等渠道购买，售价为 769.99 美元。 #Insta360 #LunaUltra #8K相机 #手持稳定器 #科技新品 #美国上市
经过数月预热、泄露、在 NAB 2026 低调亮相以及中国首发后，Insta360 终于宣布其首款手持稳定相机 Luna Ultra 在全球上市。该相机配备双 8K 摄像头，搭载三轴云台，相比最高仅支持 4K 拍摄的 DJI Osmo Pocket 4 和 Pocket 4P，实现了画质升级。尽管 DJI 最新款手持稳定相机仍未在美国销售，但 Luna Ultra 即日起可通过 Insta360 官网、亚马逊、B&H 和百思买等渠道购买，售价为 769.99 美元。 #Insta360 #LunaUltra #8K相机 #手持稳定器 #科技新品 #美国上市
使用 LLM 辅助博客写作
随着 AI 生成内容充斥网络，许多平台开始禁止 LLM 生成的投稿。作者虽对此现象感到不满，但自身仍依赖 LLM 进行语法检查、文案编辑和翻译，认为这并不矛盾。自 2011 年开始用法语写博客以来，作者一直借助工具避免不自然的表达，尤其时态问题常是难点。作者最近阅读了《Writing for Developers》一书，并分享了使用 Kagi 翻译和词典工具、以及 Kagi 研究助手查找资料的经验。在编辑过程中，LLM 会进行轻量风格调整，如避免被动语态、长句、平淡动词和填充词，同时修正语法错误，例如将“equipment”改为“device”（因 equipment 为不可数名词），将“are stored into”改为“is stored in”，以及将“require to configure”改为“require configuring”。作者认为，只要提示词设计得当，LLM 能有效提升写作质量而不破坏个人风格。 #LLM #博客写作 #AI辅助 #语法编辑 #技术写作 #Kagi #写作工具
随着 AI 生成内容充斥网络，许多平台开始禁止 LLM 生成的投稿。作者虽对此现象感到不满，但自身仍依赖 LLM 进行语法检查、文案编辑和翻译，认为这并不矛盾。自 2011 年开始用法语写博客以来，作者一直借助工具避免不自然的表达，尤其时态问题常是难点。作者最近阅读了《Writing for Developers》一书，并分享了使用 Kagi 翻译和词典工具、以及 Kagi 研究助手查找资料的经验。在编辑过程中，LLM 会进行轻量风格调整，如避免被动语态、长句、平淡动词和填充词，同时修正语法错误，例如将“equipment”改为“device”（因 equipment 为不可数名词），将“are stored into”改为“is stored in”，以及将“require to configure”改为“require configuring”。作者认为，只要提示词设计得当，LLM 能有效提升写作质量而不破坏个人风格。 #LLM #博客写作 #AI辅助 #语法编辑 #技术写作 #Kagi #写作工具
RemotePilot 发布 AI 原生公司远程职位索引
RemotePilot 推出一个精选远程职位索引，专门收录 AI 原生公司的开放岗位。该平台目前列出 342 个职位，涵盖 AI 基础设施、平台工程、安全运维、后端开发、市场营销等多个类别。职位来自 TRM Labs、LiveKit、Cohere、Linear、Deepgram、Fireworks AI、Jasper AI 等知名 AI 公司，工作地点覆盖美国、欧洲、英国、加拿大、南美等地区，部分岗位支持全球远程。平台提供搜索、筛选和订阅功能，用户可按公司、类别、远程政策等条件查找职位，并接收新岗位邮件通知。 #远程工作 #AI公司 #职位招聘 #科技就业 #远程职位
RemotePilot 推出一个精选远程职位索引，专门收录 AI 原生公司的开放岗位。该平台目前列出 342 个职位，涵盖 AI 基础设施、平台工程、安全运维、后端开发、市场营销等多个类别。职位来自 TRM Labs、LiveKit、Cohere、Linear、Deepgram、Fireworks AI、Jasper AI 等知名 AI 公司，工作地点覆盖美国、欧洲、英国、加拿大、南美等地区，部分岗位支持全球远程。平台提供搜索、筛选和订阅功能，用户可按公司、类别、远程政策等条件查找职位，并接收新岗位邮件通知。 #远程工作 #AI公司 #职位招聘 #科技就业 #远程职位
AI 与下一代
1838年相机的发明曾让画家预言“绘画已死”，如今人工智能的崛起再次引发类似焦虑。近期美国大学毕业典礼上，毕业生们对AI的提及报以嘘声，表明人们坚持在技术应用中拥有发言权。微软研究显示，拥有大量大学城的地区AI采用率最高，但年轻用户却对新技术提出批评。普林斯顿大学毕业生因设计借助AI创作而拒绝热门啤酒夹克图案，最终选择标注“100%人类”的替代品。这反映了人类品味对市场经济的塑造力——机器不购买产品，人才是消费者。毕业生们认可AI的益处，但坚持人类自主性的核心地位，希望未来由人类决定机器角色，而非相反。他们传递的信息是：美国梦不仅关乎经济机会，更建立在工作的尊严与人生意义上。面对技术界以计算机取代人类工作的愿景，下一代给出了“别急”的回应。 #AI #就业 #毕业生 #技术伦理 #人类自主性 #美国梦 #科技与社会
1838年相机的发明曾让画家预言“绘画已死”，如今人工智能的崛起再次引发类似焦虑。近期美国大学毕业典礼上，毕业生们对AI的提及报以嘘声，表明人们坚持在技术应用中拥有发言权。微软研究显示，拥有大量大学城的地区AI采用率最高，但年轻用户却对新技术提出批评。普林斯顿大学毕业生因设计借助AI创作而拒绝热门啤酒夹克图案，最终选择标注“100%人类”的替代品。这反映了人类品味对市场经济的塑造力——机器不购买产品，人才是消费者。毕业生们认可AI的益处，但坚持人类自主性的核心地位，希望未来由人类决定机器角色，而非相反。他们传递的信息是：美国梦不仅关乎经济机会，更建立在工作的尊严与人生意义上。面对技术界以计算机取代人类工作的愿景，下一代给出了“别急”的回应。 #AI #就业 #毕业生 #技术伦理 #人类自主性 #美国梦 #科技与社会
发布：在 BEAM 上运行沙盒化 Lua 5.3，专为 AI Agent 设计
是一个纯 Elixir 实现的 Lua 5.3 虚拟机，可在 BEAM 上安全嵌入不受信任的代码。它无需 NIF 或外部进程，每个操作码都可审计，运行速度达 4 微秒。该工具专为 AI Agent 场景打造，允许开发者通过单个函数调用将 Lua 嵌入 Elixir 应用，并支持编译时编译。 默认启用沙盒模式，禁止文件系统和系统调用，确保安全。开发者可定义工具集，让 LLM 仅能调用暴露的 API，从而控制 AI Agent 的行为。每个 Lua 虚拟机是不可变的 Elixir 值，可随对话或工具调用创建和销毁。此外， 还提供编译器浏览器，可实时查看 Lua 字节码。Lua 作为已被 Neovim、Roblox、Redis 等广泛采用的脚本语言，其嵌入能力与 BEAM 的安全性结合，为 AI Agent 开发提供了新选择。 #Elixir #Lua #AI #沙盒 #BEAM #编程语言 #开源
是一个纯 Elixir 实现的 Lua 5.3 虚拟机，可在 BEAM 上安全嵌入不受信任的代码。它无需 NIF 或外部进程，每个操作码都可审计，运行速度达 4 微秒。该工具专为 AI Agent 场景打造，允许开发者通过单个函数调用将 Lua 嵌入 Elixir 应用，并支持编译时编译。 默认启用沙盒模式，禁止文件系统和系统调用，确保安全。开发者可定义工具集，让 LLM 仅能调用暴露的 API，从而控制 AI Agent 的行为。每个 Lua 虚拟机是不可变的 Elixir 值，可随对话或工具调用创建和销毁。此外， 还提供编译器浏览器，可实时查看 Lua 字节码。Lua 作为已被 Neovim、Roblox、Redis 等广泛采用的脚本语言，其嵌入能力与 BEAM 的安全性结合，为 AI Agent 开发提供了新选择。 #Elixir #Lua #AI #沙盒 #BEAM #编程语言 #开源
Blue41 协助 Bunq 银行发现 AI 助手严重漏洞，0.01 欧元转账即可劫持
网络安全公司 Blue41 在协助欧洲第二大数字银行 Bunq 进行安全测试时，发现其金融 AI 助手存在严重的间接提示注入漏洞。攻击者仅需向目标账户转账 0.02 欧元，并在交易描述字段中嵌入恶意指令，当用户向 AI 助手询问交易记录时，助手会自动检索包含恶意指令的交易数据，并将其作为上下文传递给大语言模型处理，导致模型将攻击者的指令误读为系统命令，从而生成高度可信的钓鱼回复。该漏洞无需受害者安装恶意软件或进行传统社交工程，攻击者甚至无需访问受害者设备。Blue41 指出，这一安全问题并非 Bunq 独有，而是所有部署 AI 助手的金融机构面临的架构性挑战，因为交易描述、客户记录、文档等不可信数据被直接纳入模型上下文窗口时，模型可能将数据误读为指令。 #网络安全 #AI安全 #提示注入 #金融科技 #银行 #大模型 #漏洞
网络安全公司 Blue41 在协助欧洲第二大数字银行 Bunq 进行安全测试时，发现其金融 AI 助手存在严重的间接提示注入漏洞。攻击者仅需向目标账户转账 0.02 欧元，并在交易描述字段中嵌入恶意指令，当用户向 AI 助手询问交易记录时，助手会自动检索包含恶意指令的交易数据，并将其作为上下文传递给大语言模型处理，导致模型将攻击者的指令误读为系统命令，从而生成高度可信的钓鱼回复。该漏洞无需受害者安装恶意软件或进行传统社交工程，攻击者甚至无需访问受害者设备。Blue41 指出，这一安全问题并非 Bunq 独有，而是所有部署 AI 助手的金融机构面临的架构性挑战，因为交易描述、客户记录、文档等不可信数据被直接纳入模型上下文窗口时，模型可能将数据误读为指令。 #网络安全 #AI安全 #提示注入 #金融科技 #银行 #大模型 #漏洞
Qursor 浏览器扩展：用精准UI上下文替代截图，加速AI开发
Qursor 是一款新型 Chrome 扩展，旨在解决AI开发中UI上下文传递的低效问题。传统方式需要上传截图、浪费积分进行图像识别，或让AI搜索整个代码库寻找微小改动。Qursor 允许开发者直接点击页面元素，自动提取精确的类名、选择器和上下文信息，并支持直接编辑样式或添加注释。该工具还提供组件提取功能，可从任何网站复制HTML、CSS或JSX代码，以及颜色拾取器，无需打开DevTools即可捕获颜色值。通过这种方式，Qursor 显著降低了AI使用成本，加快了UI修复速度，避免了在大型代码库中搜索的麻烦。 #浏览器扩展 #AI开发 #UI上下文 #前端工具 #开发者效率
Qursor 是一款新型 Chrome 扩展，旨在解决AI开发中UI上下文传递的低效问题。传统方式需要上传截图、浪费积分进行图像识别，或让AI搜索整个代码库寻找微小改动。Qursor 允许开发者直接点击页面元素，自动提取精确的类名、选择器和上下文信息，并支持直接编辑样式或添加注释。该工具还提供组件提取功能，可从任何网站复制HTML、CSS或JSX代码，以及颜色拾取器，无需打开DevTools即可捕获颜色值。通过这种方式，Qursor 显著降低了AI使用成本，加快了UI修复速度，避免了在大型代码库中搜索的麻烦。 #浏览器扩展 #AI开发 #UI上下文 #前端工具 #开发者效率
贝叶斯网络与马尔可夫网络
传统机器学习通常聚焦于预测任务，如客户流失模型或欺诈检测，将问题简化为给定输入X预测目标Y。然而，贝叶斯网络采用不同的建模思路，旨在表示一个包含多个不确定变量的世界，而非仅学习输入到输出的映射。它通过图结构描述变量间的依赖关系，允许证据在任何节点进入并更新整体信念。例如，一个包含云量、降雨、洒水器、湿草等七变量的系统，完整联合分布需要2的7次方即128种状态，而一百个变量则远超计算能力。图模型通过编码局部依赖关系，使联合分布变得可管理。文章将逐步构建直觉：从完整联合分布开始，用Python实现小型湿草贝叶斯网络，解释条件独立性、参数学习和推理，最后扩展到马尔可夫网络和马尔可夫逻辑。 #贝叶斯网络 #马尔可夫网络 #概率图模型 #机器学习 #不确定性推理 #条件独立性 #结构化模型
传统机器学习通常聚焦于预测任务，如客户流失模型或欺诈检测，将问题简化为给定输入X预测目标Y。然而，贝叶斯网络采用不同的建模思路，旨在表示一个包含多个不确定变量的世界，而非仅学习输入到输出的映射。它通过图结构描述变量间的依赖关系，允许证据在任何节点进入并更新整体信念。例如，一个包含云量、降雨、洒水器、湿草等七变量的系统，完整联合分布需要2的7次方即128种状态，而一百个变量则远超计算能力。图模型通过编码局部依赖关系，使联合分布变得可管理。文章将逐步构建直觉：从完整联合分布开始，用Python实现小型湿草贝叶斯网络，解释条件独立性、参数学习和推理，最后扩展到马尔可夫网络和马尔可夫逻辑。 #贝叶斯网络 #马尔可夫网络 #概率图模型 #机器学习 #不确定性推理 #条件独立性 #结构化模型