标签：自动化
OpenAI发布代码Agent：开启自动化编程时代，超强智能体！
OpenAI发布了全新的云端代码Agent——Codex，旨在为开发人员提供自动化支持，涵盖编写功能代码、修复错误、回答代码库问题以及提出拉取请求审查等多种任务。Cod...
陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
陶哲轩最近以视频博主的身份亮相，首次发布的内容便引起了广泛关注。他展示了一个令人惊叹的案例：人类需要写满一页纸的数学证明，借助AI仅用33分钟就完成了...
Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0！刚刚又发数学形式化证明视频
菲尔兹奖得主陶哲轩近期发布了一个开源项目，旨在通过大模型的协助开发一个概念验证软件工具，用于验证涉及任意正参数的给定估计是否成立。该项目最初的目标...
RPA+AI，才是真正能让你躺平的自动化真神。
在讨论RPA（Robotic Process Automation）与AI（人工智能）的关系时，作者通过影刀RPA新推出的“魔法指令”功能，深入探讨了两者在自动化任务中的不同角色与应...
陶哲轩：感谢ChatGPT，4小时独立完成了一个开源项目
菲尔兹奖得主陶哲轩在五一假期期间发布了一个开源项目，该项目旨在通过大模型的协助，开发一个用于验证涉及任意正参数的估计是否成立的概念验证软件工具。这...
多邻国全面AI First！AI能胜任的工作，都不再新招人，“等技术100%成熟时就晚了”
多邻国CEO在全员信中宣布，公司将全面拥抱AI，并采取AI-first的战略，即使技术尚未完全成熟，也不能再等待，否则将错失良机。公司计划逐步用AI替代人工外包，...
微软开源Agent操作系统 ：深度集成 Windows多智能体，超6000颗星
微软最近对其开源的AgentUFO进行了重大升级，发布了UFO²版本，并新增了操作系统功能。这一版本的最大亮点在于与Windows系统的深度集成，能够直接调用原生API...
仅用3周时间，就打造出Manus开源平替！贡献源代码，免费用
Suna 是一款由 Kortix AI 团队开发的完全开源且免费的 AI 助手，旨在通过自然语言对话帮助用户完成现实世界中的各种任务。该智能体集成了多种强大的工具，包...
95 后中国开发者刚刚发布“摸鱼神器”，比 Manus 快 4 倍！实测结果能否让打工人逆袭？
Fellou AI 推出的第一代 Agentic 浏览器，标志着智能浏览器领域的重大突破。该浏览器不仅具备卓越的搜索性能，还集成了主动智能功能，能够通过一句话指令自动...
我用AI监控了奥特曼，当他一发推特AI就会自动给我打电话。
为了及时获取奥特曼在推特上发布的最新动态，作者经历了一周的熬夜等待，每天仅睡3-4小时，导致身心俱疲。为了避免这种低效的等待方式，作者决定开发一个自动...
