标签:自动

拉格朗日以Agentic OS重构工序,推动具身智能从会干活到干完活

近日,两台轮式双臂机器人、一只机器狗和一台AGV被推进汽车物流产线,开始为期至少一个月的连续调试。这套系统并非简单地为机器人找一个工位,而是从工厂真实...

OpenBMB 发布 MathForm-8B:将自然语言数学题转为 Lean 4 形式化证明

OpenBMB 团队近日发布 MathForm-8B,一个专门用于数学自动形式化的 8B 参数模型,能够将自然语言描述的数学命题转换为 Lean 4 形式化代码。该模型基于 Qwen3-...

研究:Claude与GPT智能体独立科研失败,论文遭拒

普林斯顿大学与英国AI安全研究所联合发布的一项新研究,对Anthropic和OpenAI宣称的“自主AI研究已触手可及”提出了直接反驳。在这项名为“影子评估”的实验中,使...

新基准测试:顶尖多模态AI模型视觉感知准确率均未达60%

月之暗面(Moonshot AI)于 8 月 15 日发布了一项名为 PerceptionBench 的新基准测试,专门评估多模态 AI 模型的视觉感知能力,并将其与逻辑推理和外部知识分...

AI 编曲控制台 Suno Studio 2.0 发布:新增 MIDI 支持、效果插件

Suno 正式推出了 Studio 2.0,通过一系列大幅升级进一步向“真正的数字音频工作站(DAW)靠拢”,而非只是带有生成式 AI 功能的简易音频编辑器。 其中最重要的...

千问办公首发上线 GLM-5.3 和 DeepSeek V4 Pro 模型,可直接选用

近日,千问办公首发上线 GLM-5.3 和 DeepSeek V4 Pro 两款前沿模型。即日起,用户可在产品首页的「前沿模型」档位直接选用。 DeepSeek V4 Pro 是 DeepSeek ...

大学生用 AI 人脸伪造视频盗刷超 5 万元,最终获刑一年十个月

8 月 16 日消息,央视新闻今日披露一起 AI 人脸伪造视频盗刷案件,大学生吴某在非法网站购买“AI 人脸伪造视频”技术,在不到四个月的时间里,盗刷银行卡 5 万...

不再仅限 API 密钥:Codex 中的 GPT‑5.6 Sol 百万上下文能力已可通过 ChatGPT 账号使用

8 月 17 日消息,今日,OpenAI 负责 Codex 与 ChatGPT 的工程师 Tibo(@thsottiaux)在 X 平台宣布,Codex 中针对 GPT-5.6 Sol 模型的 100 万 Token 上下文窗...

Uber与Pony.ai合作在欧洲部署2000辆自动驾驶出租车

美国网约车巨头Uber与中国自动驾驶公司Pony.ai于周五宣布,计划在欧洲部署2000辆自动驾驶出租车,并将合作范围扩展至中东。这一消息正值自动驾驶出租车车队规...

不再依赖截图记录活动:Mac 版 ChatGPT 新增 Computer History AI 功能

 月 14 日消息,OpenAI 昨日(8 月 13 日)发布博文,宣布以可选方式推出 Computer History 功能,取代先前的 Chronicle 研究预览功能,为 Mac 版 ChatGPT 桌...
189101112957