搜索
Shengtao Guo、Ethan X. Fang和Junwei Lu署名的预印本论文宣称利用Odin Automatic AI Research Agent证明了悬而未决40年的Komlós猜想并给出常数界3√(2π)，次日陶哲轩等25位菲尔兹奖得主发表联合声明《AI在数学中的严重失准》，警告AI证明速度已远超学界验证与消化的能力。
曾经最相信强化学习的人之一，如今却认为：强化学习没有把我们带到 AGI。
1997年深蓝下棋，2016年AlphaGo围棋，2026年9个Claude副本做真实科研……每次我们都说「只是特定领域」。这一次，我们真的还能说什么？欢迎来到AI成为科研同事、竞争者、甚至继任者的时代。
今日凌晨，Cursor宣布推出类OpenClaw功能——Cursor Automations，让AI 7×24小时自动帮开发者审核、监控、修复代码，还能辅助研发流程。基于这一功能，开发者只需配置Agent，让它们持续监控并优化代码库，就能打造出真正自动化的“软件研发工厂”。并且，所有的这些自动化能力都由云端Agent驱动，它们会使用自己的算力去构建、测试和演示工作成果。
果然，离开了OpenAI，大家都有美好的未来。（doge
大家好，我是袋鼠帝 今天就不多bb了，直接上干货，给大家安利一个已经在Github斩获18K Star的开源浏览器Workflow插件：Automa
AI Agent又解锁了一个领域！清华大学牵头，与西北工业大学以及上海AI lab等机构推出了电镜领域的AI agent——AutoMat。
近年来，图形用户界面（GUI）自动化技术正在逐步改变人机交互和办公自动化的生态。然而，以 Robotic Process Automation（RPA）为代表的传统自动化工具通常依赖固定脚本进行操作，存在界面变化敏感、维护成本高昂、用户体验欠佳等明显问题。
Manus居然成功火到国外了，内销转出口了？今天开始，在X和Reddit上的外国网友中，Manus的讨论声量开始变大了！拿到邀请码的歪果网友实测后赞叹：Manus太好用了。而各种开源复现项目也如雨后春笋一般冒出，人气持续爆棚。
只需一次人类示范，就能让智能体适应新环境？