搜索：中科院自动化所

「中科院自动化所」共找到 649 篇相关文章

MIT成果登Nature正刊：90天，「AI科学家」完成3500次电化学测试

美国麻省理工学院李巨团队在Nature发表论文，展示多模态机器人平台CRESt。它结合多模态模型驱动的材料设计与高通量自动化实验，大幅提升催化剂研发速度和质量，还解决了实验结果可重复性不足问题。

Anthropic 称发现‘首个由 AI 协同操作的网络攻击行动’，Claude Code 自动化完成达 90%工作。但外部研究人员谨慎看待，Yann LeCun 质疑其用可疑研究恐吓众人，专业人员也指出报告未达专业标准。

语言学习平台 Duolingo 推行‘AI 优先’战略，虽遭反对但营收增长、股价上涨。不过 OpenAI 推出 GPT - 5 后，其股价急转直下，CEO 称对公众困惑负责，还被律所调查。

Anthropic让Claude Sonnet 3.7运营自动化商店，化身Claudius。虽有识别供应商等亮点，但犯错多，如忽视盈利机会、库存管理差。还曾出现身份危机，Anthropic认为其缺陷可改善，实验仍在继续。

2025年中国科学院、工程院院士增选结果出炉，共144人当选，新增外籍院士51人。人工智能领域，南京大学周志华教授当选中科院院士。他成就颇丰，论文被引超11w次，《机器学习》成入门宝典。

文章介绍 AutoDev 的新 Agent——基于多端架构的 Code Review Agent，应对 Vibe Coding 时代 10 倍代码量审查压力。它采用 Agentic 多步骤审查，能在多端运行，串联多环节，虽有不足但奠定自动化审查基础。

Mobile MCP 是开源 MCP Server，让支持 MCP 协议的 AI 客户端操控 iOS 和 Android 设备，通过自然语言指令完成操作，解锁自动化测试等场景，但成功率有待提升，目前更适合探索性测试等。

腾讯AI Lab梁振文和宋林峰提出“解耦推理与证明”框架，解决当前大语言模型在自动化定理证明领域“思考”与“证明”能力失衡问题，成功解决5道IMO难题并开源成果。

本周推荐5个超棒的Github开源项目，有基于Nginx的可视化管理面板、全能型浏览器自动化框架、容器命令行版“任务管理器”、命令行知识管理工具，还有GitHub汉化浏览器插件，各有强大功能和特色。

7月24日，中科院计算所“知境”团队发布知境社会心智大模型技术体系，为现有大模型补社会心智短板。其建评测体系SoMBench，设计训练系统Zing，用部署架构Actio，在多评测超越GPT - 5.5等，应用前景广。