AI工具实测、英伟达开源框架及国产大模型攻克30年数学猜想

近期，大模型、多模态技术与具身智能领域的多项进展值得关注，以下是核心动态梳理：

具身智能领域的技术突破不断，英伟达开源了阿斯皮尔V1.0机器人开发框架，该框架支持机器人自主编写代码、复盘任务失败原因并完成修改。在为该框架搭载性能更强的底层模型后，利贝罗Pro任务的完成成功率达到了99%。

近期针对三款用于撰写综述的AI工具实测结果出炉，分别是格罗克机器人、工作助手与代码助手CN。其中格罗克机器人的表现最为突出，仅用12分49秒便完成任务，且收录的相关资料最为丰富；工作助手产出的正文内容与专业编辑的底稿匹配度最高。

在基础研究领域，一支中国团队借助国产大模型的力量，成功攻克了悬置超过30年的复三维吉斯猜想，仅用5天时间便生成了55万行代码完成验证工作。另外，有评测机构对GPT-6-阿斯特拉展开测试，结果显示，当模型的使用限制被解除后，多项任务的完成成功率有显著提升，但在真机实测环节，该模型在插头插入测试中11次尝试全部失败，成本较高与稳定性不足仍是其落地应用的主要瓶颈。