最新发布第15页
排序
别再拿真机炼丹!南大终结「肉身排雷」,机器人0成本脑内练满级
新智元报道 编辑:桃子 【新智元导读】具身智能正站在一条分界线前:VLA的下一步,靠模仿学习已经越来越难撑起来了。一篇南大重磅论文再次瞄准「世界模型」,让机器人先在脑中练会再上手...
AI 已能写 80% 代码,但 Agent 也有致命短板!OpenAI Codex 技术总监:问错了,比不会写更麻烦
真正拉开差距的,从来不是写代码的速度,而是你选择解决什么问题,以及你如何定义“更好的系统”。
黑客帝国在谷歌成真?绝密AI曝光: 服务器挤爆,布林狂肝代码不停
新智元报道 编辑:Aeneas 好困 【新智元导读】刚刚,谷歌内部AI曝光了!Agent Smith一经推出,就火到一塌糊涂,全体员工集体疯抢,服务器直接被挤爆。现在,三巨头的秘密新模型都集体炸...
7 个最近 GitHub 上火火火的开源项目,推荐一哈。
01 美团开源大模型上新 美团龙猫团队开源了一个专门做数学定理证明的模型:LongCat-Flash-Prover。 数学定理证明不是算对答案就完事了 ,它要求每一步逻辑都能被严格验证,半点含糊都不行。 ...











