「人类在环」共找到 8836 篇相关文章
性能碾压GPT-4.1-mini！Mistral开源Devstral，还能在笔记本上跑
法国AI初创公司Mistral与All Hands AI合作，发布全新开源语言模型Devstral，有240亿参数，所需算力低，可本地部署。它能解决真实GitHub问题，在SWE基准测试中表现优于多个模型，还能通过API访问。
从写清 Spec 到看懂功能：在 Session 历史中使用 Routa 重建需求全景
文章指出在AI Coding中，Spec负责定义需求起点，大量实现走向内容留在Agent的session历史里。介绍了如何通过Feature Explorer将Spec和Session历史重新组织，让Agent基于功能证据分析，使项目保持整体性。
倒计时三周！2026 世界人工智能大会将于 7 月 17 日至 20 日在上海举行
6月17日，2026世界人工智能大会倒计时30天发布会举行，公布主题、生态矩阵等。大会7月17 - 20日在上海举办，设六大板块，有诸多活动和展示，还发布SAIL奖TOP30榜单，公布WAIC City Walk等信息。
AI 能力越来越强，那么它生成的代码，人类还需要去理解吗？
《代码整洁之道》作者罗伯特·C·马丁不逐行看 Agent 代码，设好测试框架通过就行。Notion 工程师 Geoffrey Litt 在会议探讨人类是否需理解代码，多数人认为需要，Litt 分享理解代码方法。
在Claude Code里用GPT被秒封！义父Tibo：别急，我给你重置
OpenAI Codex负责人Tibo公开在Claude Code上用GPT的教程，还承诺封号就重置额度。开发者Alex照做被封，申诉无果。Claude Code负责人抢人，Tibo拒绝，还兑现承诺给用户额度拉满，Sam Altman下场评价。
代码碾压一切！OpenAI神秘模型o3-alpha一夜刷屏，却遭41岁大神绝地反杀
OpenAI神秘模型o3 - alpha曝光，代码能力强大，疑似在编程大赛获亚军，不敌人类选手Psyho。ChatGPT Agent也实力惊人。比赛组织者指出AI代码优化强，但缺人类创造力。
用AI重新审视人类发明史：我们的技术本该比现在更先进吗？
美国研究员 Brian Potter 用 AI 分析 1800 年到 1970 年代 190 项重大发明，判断最早何时能造。结果显示多数发明没迟到太久，1900 年后发明间隔缩短，75%约束是技术性的。
大模型在具身推理上「翻车」了？4496 道题全面揭示短板
美国东北大学等提出BEAR基准评估MLLM具身智能子能力，用4496道题测试20个模型。发现多模态大模型具身能力不足，还分析错因，开发BEAR - Agent提升模型具身推理能力，在仿真测试中效果显著。
Karpathy最新预言：不开放、不脚本化的软件将在AI时代“灭绝”
Andrej Karpathy预言，不开放、不脚本化的传统软件在AI时代将‘灭绝’，他点名Adobe全家桶等软件风险高，认为未来赢家是‘天生文本化、可脚本化’产品，软件‘可AI协作性’将成生死分水岭。
人类56年解不出，谷歌AI一夜连破9道世纪难题！
Google DeepMind发布全新AI数学智能体AlphaProof Nexus，一次性攻克9道悬而未决几十年的Erdős开放问题，最老的已悬置56年。证明经Lean编译器验证，无错误可能。此外，还在多数学分支取得突破。