标签：自动化
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语言进行形式化...
OpenAI发布代码Agent：开启自动化编程时代，超强智能体！
OpenAI发布了全新的云端代码Agent——Codex，旨在为开发人员提供自动化支持，涵盖编写功能代码、修复错误、回答代码库问题以及提出拉取请求审查等多种任务。Cod...
陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
陶哲轩最近以视频博主的身份亮相，首次发布的内容便引起了广泛关注。他展示了一个令人惊叹的案例：人类需要写满一页纸的数学证明，借助AI仅用33分钟就完成了...
Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0！刚刚又发数学形式化证明视频
菲尔兹奖得主陶哲轩近期发布了一个开源项目，旨在通过大模型的协助开发一个概念验证软件工具，用于验证涉及任意正参数的给定估计是否成立。该项目最初的目标...
