标签：自动化
2025，10000个Vibe Coding井喷
2025年标志着AI编程技术的爆发式发展，“AI Coding元年”的概念被广泛认可。各类创新工具正彻底改变传统编程模式，从简单的代码补全进化到能自主理解需求、规划...
谷歌AI Agent刚开源！多任务智能体+MCP+谷歌搜索，狂揽9000颗星
谷歌近日在官网开源了AI Agent框架Gemini CLI，这一框架将Gemini大模型直接集成到终端中，为用户提供了强大的功能支持。Gemini CLI的最大亮点之一是其能够直...
汤森路透发布AI Agent，专用于税务、审计等财务领域
全球著名商业服务平台汤森路透发布了专门面向税务、审计和会计等财务专业人士的AI Agent——CoCounsel。这一智能体与传统AI助手有显著区别，能够超越预定义的动...
Figure自曝完整技术：60分钟不间断打工，我们的机器人如何做到？
Figure公司近期发布了一段长达60分钟的未剪辑视频，展示了其最新物流机器人Figure 02在工厂中的实际工作场景。这段视频不仅展示了机器人在物流分拣任务中的高...
火山引擎，「出击」Agent
2025年年中，大模型领域的竞争已进入下半场，Agent成为焦点。下一代基础模型的技术壁垒将竞争团队收敛至中美少数几家，创新门槛提高，底层技术的比拼声量降低...
让AI自己设计芯片！中国科学院发布「启蒙」，芯片全流程自动设计
中国科学院计算技术研究所与软件研究所联合推出的「启蒙」系统，标志着处理器芯片软硬件设计领域的一次重大突破。该系统基于AI技术，实现了从芯片设计到基础...
别被MCP的包装骗了！重构系统、向智能体转型，CEO亲述：关键时刻还是RPA兜底？
实在智能成立于2018年，以RPA（机器人流程自动化）为起点，融合AI技术，致力于通过人工智能技术助力人机协同，提供超自动化解决方案。随着技术的发展，实在智...
Claude 4正式发布，我在兴奋中恍惚的问：程序员路在何方？
Anthropic最新发布的大模型Claude Opus 4和Claude Sonnet 4在多个领域展现了显著的进步，尤其是在推理、编程和复杂任务解决能力方面。这两款模型在复杂推理和...
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
自动化定理证明（ATP）是人工智能、数学及形式化方法领域的核心挑战，旨在为数学或逻辑陈述自动生成形式化、可验证的证明。尽管大语言模型（LLM）在非形式化...
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
数学大师陶哲轩在第三支Lean 4自动化数学证明视频中，展示了GitHub Copilot在处理经典分析学问题「ε-δ」极限时的表现。视频中，陶哲轩通过Lean语言进行形式化...
