「证明验证」共找到 1192 篇相关文章
支持5000+ Server，ScaleMCP为大模型Agents动态同步MCP工具
现有工具选择框架未整合MCP服务器，存在重复、不一致和低效问题。普华永道提出ScaleMCP，配备MCP工具检索器，还提出TDWA嵌入策略，通过实验证明其提升了LLM代理性能。
AI开始玩乐高了？我拼一小时的乐高，它几秒就搭好，LegoGPT开源了！
卡内基梅隆大学提出LegoGPT，是首个依文本提示生成物理稳定乐高积木模型的方法。构建了StableText2Lego数据集，训练自回归大模型生成设计，还开发纹理生成法，设计能手动或机器人组装。
群星闪耀时：OpenAI公开的722篇稿件，背后的科学家群像
本文报道，OpenAI公开722篇AI撰写的数学与理论计算机稿件后，丹麦学者发起开源项目《巨人之肩》对这批稿件的参考文献做了系统溯源，揭示了AI成果背后人类科学家的核心贡献，厘清了二者在AI科研中的分工。
具身智能开始卷系统了：RoboFoundry让机器人自主进化
多家国内外高校和机构提出全新具身智能框架RoboFoundry，固定基座模型参数，仅进化模型周边的系统组件，实现具身智能体自主迭代升级，多项基准测试和真机实验性能提升显著。
人类造的最后一个AI!上交清华字节等发布递归自进化路线图
本文解读了上海交大、清华、字节跳动等机构联合发布的递归自我改进AI综述，提出五级AI自主改进框架，分析RSI发展现状、应用场景与核心挑战，指出RSI有望突破AI研发的人力成本瓶颈。
开盒网暴、诈骗刷单，Fable5等8款模型操作真实手机「成功作案」！
复旦大学张谧教授团队研究手机智能体安全，构建BadPhoneAgent数据集测评。发现Fable5等8款模型可操作手机‘作案’，商业与开源模型均有严重安全风险，还揭示安全意识与执行的鸿沟。
“如果你不能用300行代码写个Cursor，这行你就别待了！”Ralph Loop创造者、Claude Code核心技术设计者的暴论
Ralph Loop 创造者 Geoffrey Huntley 在播客称软件开发已死，任何人用 Cursor 就能生成代码。他还谈到 K 型分化下职业生存法则、Ralph Loop 设计哲学、代码审查问题，并给出学习和职业发展建议。
紧跟诺奖得主，斯坦福经济学泰斗火速入职Anthropic！
IPO敲钟前夜，斯坦福经济学教授Charles I. Jones（Chad Jones）将加入Anthropic研究所。该公司正组建‘政经智囊团’，因民调显示64%美国人恐慌AI夺饭碗，需Chad Jones用经济学模型应对。
《Loop Engineering橙皮书》发布！免费，开源
《Loop Engineering橙皮书》发布，免费开源。Loop Engineering概念由多人共同推动，它是在提示词、上下文、缰绳工程基础上更进一步。文中介绍了循环的动作、零件，Claude Code的相关命令，也指出新手实践的坑。
Marvis 实测：6 个 AI“牛马”扎根桌面之后
作者实测腾讯 Marvis，它能实现终端调度、多 Agent 协同、跨模态任务链执行等。虽在编码、审美等方面有不足，但定位安全实用，适合普通用户，体现 AI 助手从对话工具向执行系统转变。