作者通过对比童年电脑与当今的B300 GPU系统,反思AI技术的快速发展。探讨了LLMs的争议、符号AI与统计AI的差异、智能的本质以及未来的梦想与现实。文章还包含与朋友的关于确定性和记忆的讨论。
AI 新闻实时情报
实时监测
实时更新
实时跟踪可信来源,保留出处、权限和站内阅读模式,把噪声压成可读情报。
实时更新
OpenAI第二号高管Fidji Simo因医疗休假延长,将辞去全职职务,转为兼职顾问。她于2025年5月加入OpenAI,担任应用业务CEO。
VideoDB团队推出的开源工具,通过录制人类操作的桌面工作流,将其编译为可重用的AI代理技能文件(SKILL.md)。支持跨平台(Windows/macOS/Linux),采用人机协作(Human-in-the-loop)录制模式,具备事件和视频双重录制、LLM编译、技能版本控制等功能。
以太坊基金会协议安全团队分享了如何使用协调AI代理对实际协议代码进行安全审计的经验。重点不在于发现漏洞本身,而在于如何从大量看似可信的候选结果中筛选出真正的漏洞。文章详细介绍了工作组织方式、候选结果的验证标准以及保持结果可信的方法。
NEvo是一种神经引导的进化视频合成方法,利用AI生成专门针对特定脑区进行优化的视频,以诱导最大神经反应。
ADD(AI设备描述)允许任何支持HTTP的物联网设备通过一个已知端点发布JSON自描述文档,使AI系统能够安全地理解和交互设备,无需预先了解。该开放标准将安全性直接构建到设备描述中,将AI模型视为风险因素,并提供分层防御。
德国电信正通过与OpenAI合作,利用人工智能改造客户服务、员工工作流程、网络运营以及语音服务的未来,旨在成为AI原生电信公司。
AI Humanizer 是一款在线工具,可将AI生成的文本转化为自然、类人的写作风格,支持多种写作模式(通用、博客与SEO、邮件与商务、社交媒体、创意写作),并提供锁定关键词、一键人形化、差异对比等功能。
Makoto 是一个针对 Claude Code 的完整性钩子,它监控 AI 代理的工具调用,并阻止那些伪造检查的行为,例如声称运行测试但实际未运行、编造引用或禁用安全验证器。它基于代理自己的声明账本运作,确保承诺得到履行。
红杉资本合伙人David Cahn三年前首次计算了硅谷AI基础设施巨额支出的财务影响,他根据Nvidia的GPU收入推导出需要2000亿美元的收入才能收回前期投资。
OpenAI 发布了三款新 GPT-5.6 模型——Sol、Terra 和 Luna,同时更新了应用层,推出 ChatGPT Work 和 Codex 集成。新模型在基准测试中以更低成本展现了强大性能,其中 Sol 能力最强。独立评估显示其在编码和代理任务上接近前沿水平。
Meta新推出的AI图像生成模型Muse Image允许任何人通过你的公开Instagram账户生成你的AI形象,且不会通知你。本文详细说明了该功能的风险、如何关闭相关设置以及额外的安全建议,包括启用多因素认证和将账户设为私密。
2026年初,多家AI订阅服务提供商削减免费或付费配额并提高价格,引发用户不满。文章回顾了2025年AI工具的激烈竞争格局,并指出当前趋势是服务收缩而非扩张。
AI投资者正收购会计公司并强制其采用OpenAI技术,引发行业变革与数据隐私担忧。
SK海力士作为先进存储芯片供应商,受益于全球AI数据中心建设热潮,利润飙升。公司于周五确定其巨额美国上市定价,计划融资265亿美元,成为全球最大规模股票发行之一。
财政大臣雷切尔·里夫斯将宣布一项新的城市“技能契约”,要求巴克莱和劳埃德等公司为金融行业数千名员工提供再培训,以适应人工智能革命。该计划将于周二启动,可能是在里夫斯最后一次向金融城大佬发表市长官邸演讲之际。政府支持的倡议旨在帮助员工跟上重大技术变革的步伐,这些变革引发了大规模裁员的担忧。
蚂蚁集团旗下具身智能部门Robbyant发布了LingBot-World-Infinity(LingBot-World 2.0),这是一个140亿参数的因果视频生成模型,可作为交互式世界模拟器。其核心技术是双向自回归混合注意力掩码(MoBA)和分布匹配蒸馏,旨在解决长时程漂移问题。该模型配备由视觉语言模型(VLM)和扩散变换器(DiT)组成的导演-飞行员智能体框架,支持无限持续的视频生成。尽管研究论文展示了60分钟不间断会话,但开源发布仅包含单个检查点和480P参考脚本,缺乏部署代码和定量基准,且采用非商业许可证。
OpenAI 发布 GPT-5.6 系列,包括旗舰模型 Sol、工作模型 Terra 和快速模型 Luna。所有用户均可免费使用。本文详细介绍定价、性能、安全特性及实际测试结果。
该原型使用定理证明而非测试套件验证代码迁移。一个编码代理将程序用另一种语言重写,一个确定性翻译器将原始和重写代码都转换为Lean,定理证明器证明两者在所有输入上计算结果相同。以iCPPI投资组合保险算法为例进行了演示。
Headlong剧团在牛津Schwarzman中心改编了卡雷尔·恰佩克1920年的剧作,探讨了机器人意识与反叛的当代焦虑。尽管哲学讨论有时显得冗长,但该剧及时触及了科技威胁的议题,并融入了牛津大学的尖端研究。
多机器人定位需要准确且一致,集中式方法虽最优但难以实现。本文提出一种基于共识的分布式滤波框架(D-CLIPSE),通过共享预积分里程计和状态,实现通信高效且一致性接近集中式方法。在仿真和实验中验证了性能。
本研究系统评估了当前人形机器人在腹腔镜手术中的可行性。研究人员开发了一种基于人形机器人的腹腔镜遥操作框架,通过台架测试、不同经验水平的医生干实验室研究和活体猪实验,量化了技术可行性、任务表现和临床准备度。结果表明人形机器人在外科手术中具有潜力,但在临床部署前仍需解决多项关键技术挑战。
研究人员提出了一种个性化气动软体机器人外骨骼手套,通过拓扑扫描实现贴合手型,结合有限元分析和气动控制实验,验证了其在手部康复和灵巧操作中的有效性。
研究人员开发了一种新型软体机器人外手套,旨在同时改善手部活动能力和通过按摩式压缩缓解肌肉痉挛。该手套采用个性化软体气动执行器,能够适应个体手部拓扑和运动学,并已通过初步实验验证其舒适性和有效性。该技术有望为全球1200万手部痉挛和疼痛患者提供新的治疗选择。
提出一个统一的单目视觉抓取框架,针对软硬物体使用单一控制管道,仅需RGB输入和位置控制夹爪。结合开放词汇检测、分割、边界点分配、实时点跟踪和深度估计,并通过语言模型推断物体刚度以选择抓取策略。在真实实验中成功抓取生菜、马苏里拉奶酪、牛角包、纸巾和塑料瓶,展示了高效、通用的方法。
提出一种数据高效、可解释的视觉动态避障方法,利用预训练的单目深度估计模型UniDepth和特征匹配管道SuperPoint+SuperGlue,通过计算每个关键点的碰撞时间(TTC)来选择避障动作。在M3ED数据集上评估,精确率0.49,召回率0.38,对22个障碍物中的20个成功检测到TTC<1秒的帧。无需训练机器人专用模型,仅需74秒数据调整超参数。
STEMbot是一种微型攀爬机器人,专为在植物冠层下方自主导航而设计,旨在实现早期害虫检测。它集成了PIN-SLAM和语义八叉树,并采用流形约束A*规划器,可在7-33毫米的茎干上可靠攀爬,重构精度达厘米级。
Shift & Drift是一个双轨基准测试,旨在评估自动驾驶运动规划器在语义分布偏移(新城市拓扑)和状态分布漂移(执行扰动)下的表现。研究发现,模仿学习方法在域内表现优异,但在语义偏移下显著失效,而基于强化学习的方法则表现出更优雅的性能下降。
arXiv:2607.07830v1 提出了一种名为 HumoSlope 的两阶段物理引导框架,用于人形机器人在陡坡上的鲁棒行走。第一阶段通过斜坡自适应零力矩点正则化器建立地形一致的平衡先验;第二阶段引入生物力学斜坡步态适配器,根据估计的斜坡几何动态调整质心高度和下肢协调,避免产生低重心蹲伏步态。实验表明该方法可使机器人无需外部感知即可盲穿户外草地斜坡,最大坡度达 62.7%(32.1°)。
该论文提出SASGeo框架,利用道路、建筑等持久性语义结构为GNSS拒止无人机提供绝对位置修正。在220次随机检索试验中,空间语义匹配变体实现了94.5-95.5%的Recall@1,显著优于全局描述符(58.6%),但各变体间差异不显著。研究为跨视角定位提供了新思路,但尚未经过真实飞行验证。