排序
小米汽车发布 Xiaomi Auto World Model 世界模型全新框架:重建 + 生成一体化,主流基准测试全面 SOTA
在 Waymo、nuScenes 等主流基准测试中全面取得 SOTA,并已在小米汽车合成数据、仿真测试、智能座舱三大核心场景完成业务落地。
约 1000 行代码搭起网页 AI 智能体:微软 Webwright 让 GPT-5.4 跑分提升 81%
微软研究院本月发布开源网页智能体框架 Webwright,让 AI 模型在终端里编写 Playwright(浏览器自动化库)代码、执行 bash 命令、查看日志并反复修正。
谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题
谷歌 DeepMind 最新推出 AlphaProof Nexus,结合大语言模型(LLM)生成证明与 Lean 形式化验证,在 353 个开放的 Erdős 问题中自主解决 9 个,并解开 2 个悬而未决 56 年的问题。
“神奇小子”乔治 · 霍茨警告称 AI 编程智能体将成软件最大隐患
乔治 · 霍茨(George Hotz)于 5 月 24 日发布博文,指出在当代软件开发过程中,AI 编程智能体可能是代价最高的错误之一。
昆仑万维天工 AI 发布 SkyClaw-v1.0:面向真实工作流的百万上下文 Agent 模型
据介绍,SkyClaw-v1.0 支持百万 token 上下文,深度适配真实智能体工作场景,重点优化复杂工具调用、多轮任务执行、代码生成、文件编辑、交互式应用构建与研究型数据分析。
面壁智能开源 MiniCPM5-1B:在 AA-Index 上超越所有 2B 参数以下模型,能跑在手机、浏览器上
面壁智能今日联合清华大学、 OpenBMB 开源社区正式发布并开源最新一代端侧文本基座大模型 ——MiniCPM5-1B。
国产第一:阿里 Qwen3.7-Max 模型 AI 编程能力超 Claude Opus 4.6
在 Code Arena 全球编程大模型榜单中,阿里 Qwen3.7-Max 得分 1541 分,排名全球第四,国产模型第一。其实际编程能力已超过 Claude Opus 4-6、GLM-5.1 及 Kimi-K2.6 等知名模型,展现了国产 AI ...
OpenAI CEO 萨姆 · 奥尔特曼:AI 普及不太可能引发“就业末日”
OpenAI CEO 奥尔特曼在会议上坦言,自己曾过度担忧 AI 会引发“就业末日”,但现实并未如此。他认为 AI 会替代部分工作,但人际互动等核心领域仍无法被取代。汇丰、亚马逊等大企业已在试验 AI ...
擎朗智能发布小尺寸人形机器人 XMAN-L1,接入豆包、腾讯等大模型
擎朗智能 XMAN-L1 小尺寸人形机器人拥有 42 个仿生自由度,膝关节峰值扭矩 132 牛 · 米,端侧算力达 100TOPS。它已接入豆包、腾讯等大模型,可实现自然语言对话,并适用于互动、引导、表演...











