「并行验证循环」共找到 1185 篇相关文章
人类56年解不出，谷歌AI一夜连破9道世纪难题！
Google DeepMind发布全新AI数学智能体AlphaProof Nexus，一次性攻克9道悬而未决几十年的Erdős开放问题，最老的已悬置56年。证明经Lean编译器验证，无错误可能。此外，还在多数学分支取得突破。
Claude Code终于长出调度台：一个屏幕盯住所有AI会话，无需多开
Anthropic为Claude Code上线Agent视图研究预览版，提供「指挥中心」，可在一个界面管理所有会话。开发者能启动多个AI智能体并行处理任务，一目了然掌握任务状态，还支持在线回复和任务切换。
5.3 万人收藏的开源版 Claude Code 彻底起飞了，GLM-4.7直接免费用。
近期AI编程界，Claude Code虽好用但对小白不友好。而开源神作OpenCode爆火，Star数达53K。它把‘选模型’进化成‘选员工’，有图形化界面，还集成可靠模型，支持并行运行，社区有强大插件。
靠创始人亲自假扮AI起家，如今估值10亿美元！印度CEO公开反内卷：从不在10点前起床，也不开例会
人工智能笔记创业公司Fireflies如今估值达10亿美元，但其早期是创始人手工敲击键盘提供服务。其CEO反内卷，让员工远程自由工作。不过早期人工假扮AI参会做法引争议，也有人认为是MVP验证。
英伟达炸裂业绩打飞“AI泡沫”，黄仁勋：云端GPU卖光了
英伟达财报超预期，盘后股价飙升，带动行业股票反弹。黄仁勋称云端GPU售罄，驳斥“AI泡沫论”。其业务多板块增长，不过毛利率回落，因业务结构转型。市场对AI投资热潮看法不一，黄仁勋称是“AI良性循环”。
313页的StateofAI2025报告全解读：今年AI圈发生了什么
本文解读了313页的《State of AI 2025》报告，回顾去年预测，盘点今年AI圈大事，如DeepSeek崛起、OpenAI开源、NVIDIA循环投资等，还提及AI安全、数据使用情况，最后给出2026年10个预测并为普通人提供关注建议。
她们估值840亿，刚发了第一个AI成果
估值超120亿美元的Thinking Machines发布首篇研究博客，由创始人、OpenAI前CTO Mira Murati宣发。研究聚焦克服大语言模型推理中的不确定性，探讨推理结果难复现的根源，还介绍解决办法并验证效果。
4.8亿美元砸向端侧算力！Agent芯片新贵冲出重围
成立不到三年的Acrab成亚洲AI芯片新贵，累计融资超4.8亿美元，新资金用于扩产、拓展生态及研发下一代平台。该司押注端侧算力，发布芯片GΞLIX 1和Agent Box，其产品进入量产验证。
OpenClaw构建自我迭代AI助手笔记
作者花3天体验OpenClaw，构建银行客户经理助手场景，验证通用智能体框架可用性。介绍Agent构建、迭代、交流及评估能力构建过程，对比OpenClaw与Claude Code、OpenViking，指出记忆系统问题，肯定专属智能体提升生产力的可行性。
最大开源第一视角数据集 EgoLive 来了，名校站台、近百家机构争相申请
今年4月京东开源业界最大人类第一视角数据集EgoLive，已获近百家机构申请。它用自研设备采集，经多模态处理，覆盖多场景任务。其数据用于JoyAI - RA训练，在真实场景验证效果好，还推动具身智能数据标准化。