搜索：打新收益 - AI Reading Hub

「打新收益」共找到 3906 篇相关文章

编程智能体的隐藏bug，被上交IPADS团队用数学逻辑给揪出来了

上海交通大学 IPADS 研究团队打造 FM - Agent，实现大规模系统全自动正确性推理。它能从顶尖编程智能体生成的大规模系统中找出隐藏 bug，还提出新规约生成方法，在绝对严谨与工程可用间找到平衡。

追觅扫地机将AI打造成完整链路，实现从感知到决策的闭环。其X60 Pro采用超广角双目灵动导航避障技术，提升感知能力，引入强化学习优化决策，全球出货超1100万台，营收增长显著。

Anthropic将Claude Code做成桌面应用，本值得期待，然而新桌面版却问题频出，如卡顿、崩溃、自动化功能不稳定等，还出现大量基础功能问题。此前Anthropic宣称代码由AI编写比例高，但产品质量堪忧。

文章介绍GSD框架，它旨在解决AI编程工具的Context Rot问题，通过Meta - prompting等方法将开发过程阶段化。提供常用命令稳定工作流，有实用新能力，适用于多种场景，以npm包部署，支持多平台。

MiniMax发布的MMX - CLI命令行工具，给AI Agent装上七种新感官，具备图像生成、视频创作等能力，可一站式解决内容创作问题。它安装使用简单，功能多，还能集成到现有工作流，不过采用按量付费。

奇点智能研究院院长李建忠采访了“CUDA 之父”Ian Buck，探讨 CUDA 20 年演进、英伟达技术产品及生态。Ian Buck 介绍了 AI 基础设施新阶段，阐述 CUDA 成功原因，还谈及英伟达软硬件协同、应对竞争等问题。

Meta的SOAR架构用错误率高的数据让模型推理能力暴涨9.3%。它选难题子集，用‘教师模型’生成含错题的‘垫脚石问题’，通过‘双层博弈’和‘有根奖励’机制让模型进步，或成AI进化新方向。

AI圈新词Harness Engineering引发关注。它类似给AI套缰绳，让其运转更高效。通过案例表明，模型非瓶颈，环境才关键。还介绍不同实现方式，指出命名有价值，最后探讨培养新人设计harness的问题。

上海人工智能实验室联合复旦大学开源DataChef，它能通过在线强化学习自动生成LLM数据配方。实验显示其能力逼近Gemini - 3 - Pro，超越人类专家设计算法，解决传统数据工程难题，推动大模型数据工程迈向新范式。

Claude获批全自主接管全球打工人的电脑，能自主访问并操作各类软件。只需手机发指令，它就能干活。Anthropic还在研发手机使用功能，敲/schedule命令能让Claude定时工作，成全天候员工。