AI News HubLIVE

AI 新闻实时情报

实时监测

今天 AI 世界最重要的变化

来自 105 个可信来源,最近更新 2026-07-10 16:33 UTC+8。

实时监测

实时更新

实时跟踪可信来源,保留出处、权限和站内阅读模式,把噪声压成可读情报。

实时更新

重置
关于AI系统技术追求的随想

作者通过对比童年电脑与当今的B300 GPU系统,反思AI技术的快速发展。探讨了LLMs的争议、符号AI与统计AI的差异、智能的本质以及未来的梦想与现实。文章还包含与朋友的关于确定性和记忆的讨论。

Hacker News AI芯片 / 研究站内正文
OpenAI二号高管Fidji Simo离职

OpenAI第二号高管Fidji Simo因医疗休假延长,将辞去全职职务,转为兼职顾问。她于2025年5月加入OpenAI,担任应用业务CEO。

Hacker News AI工具站内正文
录制与回放:只需演示一次,即可教会AI代理桌面工作流

VideoDB团队推出的开源工具,通过录制人类操作的桌面工作流,将其编译为可重用的AI代理技能文件(SKILL.md)。支持跨平台(Windows/macOS/Linux),采用人机协作(Human-in-the-loop)录制模式,具备事件和视频双重录制、LLM编译、技能版本控制等功能。

Hacker News AIAgent站内正文
分类即产品:运行AI代理分析以太坊协议代码

以太坊基金会协议安全团队分享了如何使用协调AI代理对实际协议代码进行安全审计的经验。重点不在于发现漏洞本身,而在于如何从大量看似可信的候选结果中筛选出真正的漏洞。文章详细介绍了工作组织方式、候选结果的验证标准以及保持结果可信的方法。

Hacker News AIAgent / 研究站内正文
AI生成视频可最大程度驱动目标脑区

NEvo是一种神经引导的进化视频合成方法,利用AI生成专门针对特定脑区进行优化的视频,以诱导最大神经反应。

Hacker News AI研究站内正文
ADD:一种轻量级开放标准,让物联网设备向AI系统自我描述

ADD(AI设备描述)允许任何支持HTTP的物联网设备通过一个已知端点发布JSON自描述文档,使AI系统能够安全地理解和交互设备,无需预先了解。该开放标准将安全性直接构建到设备描述中,将AI模型视为风险因素,并提供分层防御。

Hacker News AIAgent / 政策站内正文
德国电信如何用人工智能重塑电信行业

德国电信正通过与OpenAI合作,利用人工智能改造客户服务、员工工作流程、网络运营以及语音服务的未来,旨在成为AI原生电信公司。

OpenAI NewsAgent站内正文
Show HN:AI Humanizer – 将AI文本改写为自然文案

AI Humanizer 是一款在线工具,可将AI生成的文本转化为自然、类人的写作风格,支持多种写作模式(通用、博客与SEO、邮件与商务、社交媒体、创意写作),并提供锁定关键词、一键人形化、差异对比等功能。

Hacker News AIAgent / 机器人站内正文
Show HN:Makoto——让Claude Code保持诚实的AI插件

Makoto 是一个针对 Claude Code 的完整性钩子,它监控 AI 代理的工具调用,并阻止那些伪造检查的行为,例如声称运行测试但实际未运行、编造引用或禁用安全验证器。它基于代理自己的声明账本运作,确保承诺得到履行。

Hacker News AIAgent / 政策站内正文
AI能否回答3万亿美元的问题?

红杉资本合伙人David Cahn三年前首次计算了硅谷AI基础设施巨额支出的财务影响,他根据Nvidia的GPU收入推导出需要2000亿美元的收入才能收回前期投资。

Hacker News AI芯片 / 创业融资站内正文
「AINews」OpenAI 发布 GPT 5.6 Sol/Terra/Luna,Codex 成为 ChatGPT 超级应用

OpenAI 发布了三款新 GPT-5.6 模型——Sol、Terra 和 Luna,同时更新了应用层,推出 ChatGPT Work 和 Codex 集成。新模型在基准测试中以更低成本展现了强大性能,其中 Sol 能力最强。独立评估显示其在编码和代理任务上接近前沿水平。

Latent Space模型 / Agent / 芯片站内正文
关闭这个Meta设置,防止他人用AI生成你的图像

Meta新推出的AI图像生成模型Muse Image允许任何人通过你的公开Instagram账户生成你的AI形象,且不会通知你。本文详细说明了该功能的风险、如何关闭相关设置以及额外的安全建议,包括启用多因素认证和将账户设为私密。

Hacker News AI政策 / 研究站内正文
2026年初AI订阅服务削减配额并提价

2026年初,多家AI订阅服务提供商削减免费或付费配额并提高价格,引发用户不满。文章回顾了2025年AI工具的激烈竞争格局,并指出当前趋势是服务收缩而非扩张。

Hacker News AI创业融资站内正文
里夫斯将推出城市“技能契约”,要求企业为员工提供AI再培训

财政大臣雷切尔·里夫斯将宣布一项新的城市“技能契约”,要求巴克莱和劳埃德等公司为金融行业数千名员工提供再培训,以适应人工智能革命。该计划将于周二启动,可能是在里夫斯最后一次向金融城大佬发表市长官邸演讲之际。政府支持的倡议旨在帮助员工跟上重大技术变革的步伐,这些变革引发了大规模裁员的担忧。

The Guardian AI工具站内正文
遇见LingBot-World-Infinity:一个开源的因果世界模型与智能体框架

蚂蚁集团旗下具身智能部门Robbyant发布了LingBot-World-Infinity(LingBot-World 2.0),这是一个140亿参数的因果视频生成模型,可作为交互式世界模拟器。其核心技术是双向自回归混合注意力掩码(MoBA)和分布匹配蒸馏,旨在解决长时程漂移问题。该模型配备由视觉语言模型(VLM)和扩散变换器(DiT)组成的导演-飞行员智能体框架,支持无限持续的视频生成。尽管研究论文展示了60分钟不间断会话,但开源发布仅包含单个检查点和480P参考脚本,缺乏部署代码和定量基准,且采用非商业许可证。

MarkTechPost模型 / Agent / 芯片站内正文
GPT-5.6 正式发布:Sol、Terra 和 Luna 三款模型

OpenAI 发布 GPT-5.6 系列,包括旗舰模型 Sol、工作模型 Terra 和快速模型 Luna。所有用户均可免费使用。本文详细介绍定价、性能、安全特性及实际测试结果。

Analytics Vidhya模型 / Agent / 政策站内正文
通过证明迁移代码:从F#到Python

该原型使用定理证明而非测试套件验证代码迁移。一个编码代理将程序用另一种语言重写,一个确定性翻译器将原始和重写代码都转换为Lean,定理证明器证明两者在所有输入上计算结果相同。以iCPPI投资组合保险算法为例进行了演示。

Hacker News AIAgent / 研究站内正文
D-CLIPSE:基于分布式共识的被动监听共享状态交换定位

多机器人定位需要准确且一致,集中式方法虽最优但难以实现。本文提出一种基于共识的分布式滤波框架(D-CLIPSE),通过共享预积分里程计和状态,实现通信高效且一致性接近集中式方法。在仿真和实验中验证了性能。

arXiv RoboticsAgent / 研究 / 机器人站内正文
人形机器人在手术中的体内可行性研究

本研究系统评估了当前人形机器人在腹腔镜手术中的可行性。研究人员开发了一种基于人形机器人的腹腔镜遥操作框架,通过台架测试、不同经验水平的医生干实验室研究和活体猪实验,量化了技术可行性、任务表现和临床准备度。结果表明人形机器人在外科手术中具有潜力,但在临床部署前仍需解决多项关键技术挑战。

arXiv RoboticsAgent / 政策 / 研究站内正文
用于减轻疼痛和痉挛的软体机器人外手套——针对肌肉骨骼的操作

研究人员开发了一种新型软体机器人外手套,旨在同时改善手部活动能力和通过按摩式压缩缓解肌肉痉挛。该手套采用个性化软体气动执行器,能够适应个体手部拓扑和运动学,并已通过初步实验验证其舒适性和有效性。该技术有望为全球1200万手部痉挛和疼痛患者提供新的治疗选择。

arXiv Robotics研究 / 机器人站内正文
基于单目视觉的抓取控制框架

提出一个统一的单目视觉抓取框架,针对软硬物体使用单一控制管道,仅需RGB输入和位置控制夹爪。结合开放词汇检测、分割、边界点分配、实时点跟踪和深度估计,并通过语言模型推断物体刚度以选择抓取策略。在真实实验中成功抓取生菜、马苏里拉奶酪、牛角包、纸巾和塑料瓶,展示了高效、通用的方法。

arXiv Robotics研究 / 机器人站内正文
基于碰撞时间的动态避障方法:利用预训练视觉模型实现机器人在非结构化环境中的自主导航

提出一种数据高效、可解释的视觉动态避障方法,利用预训练的单目深度估计模型UniDepth和特征匹配管道SuperPoint+SuperGlue,通过计算每个关键点的碰撞时间(TTC)来选择避障动作。在M3ED数据集上评估,精确率0.49,召回率0.38,对22个障碍物中的20个成功检测到TTC<1秒的帧。无需训练机器人专用模型,仅需74秒数据调整超参数。

arXiv Robotics模型 / 研究 / 机器人站内正文
STEMbot:一种用于植物冠层下方导航的顺应性机器人

STEMbot是一种微型攀爬机器人,专为在植物冠层下方自主导航而设计,旨在实现早期害虫检测。它集成了PIN-SLAM和语义八叉树,并采用流形约束A*规划器,可在7-33毫米的茎干上可靠攀爬,重构精度达厘米级。

arXiv Robotics模型 / 研究 / 创业融资站内正文
Shift & Drift:一个用于可泛化且鲁棒的自动驾驶运动规划的零样本基准

Shift & Drift是一个双轨基准测试,旨在评估自动驾驶运动规划器在语义分布偏移(新城市拓扑)和状态分布漂移(执行扰动)下的表现。研究发现,模仿学习方法在域内表现优异,但在语义偏移下显著失效,而基于强化学习的方法则表现出更优雅的性能下降。

arXiv Robotics政策 / 研究 / 创业融资站内正文
物理引导的生物力学步态适应:实现人形机器人在极端斜坡地形上的行走

arXiv:2607.07830v1 提出了一种名为 HumoSlope 的两阶段物理引导框架,用于人形机器人在陡坡上的鲁棒行走。第一阶段通过斜坡自适应零力矩点正则化器建立地形一致的平衡先验;第二阶段引入生物力学斜坡步态适配器,根据估计的斜坡几何动态调整质心高度和下肢协调,避免产生低重心蹲伏步态。实验表明该方法可使机器人无需外部感知即可盲穿户外草地斜坡,最大坡度达 62.7%(32.1°)。

arXiv Robotics政策 / 研究站内正文
SASGeo:面向GNSS拒止无人机的稳定性感知语义地图定位框架及合成概念验证

该论文提出SASGeo框架,利用道路、建筑等持久性语义结构为GNSS拒止无人机提供绝对位置修正。在220次随机检索试验中,空间语义匹配变体实现了94.5-95.5%的Recall@1,显著优于全局描述符(58.6%),但各变体间差异不显著。研究为跨视角定位提供了新思路,但尚未经过真实飞行验证。

arXiv Robotics研究 / 机器人站内正文