「早期预览版」共找到 829 篇相关文章
陶哲轩：感谢Lean，我又重写了20年前经典教材！
陶哲轩宣布为实分析本科教材《Analysis I》创建「Lean」配套项目，将定义、定理和练习转换成 Lean 版本。Lean 是交互式定理证明器和语言，项目部分依托 Mathlib，可作辅助教材和入门指南。
震撼好莱坞，一天AI生成10部短片，Google神器比肩一个影视工作室
Google的AI视频神器Veo 3刷屏，使用门槛低，生成效率高，效果震撼。它能生成二次元、科幻、仙侠等多种类型短片，虽有不足，但极大促进AI视频发展，适合多行业基层人员。
GitHub 推出 MCP 服务器集成，全面扩展机密扫描功能
GitHub宣布MCP Server全面支持机密扫描功能，将其扩展至AI辅助和代理驱动的开发工作流，可让外部工具和AI工作流访问安全洞察、自动化修复。这反映安全工具正从被动检测转向自动化治理。
8.8k星星！开源的211个专家级Agent，一键接入，一个人就是一个团队
今天推荐agency-agents-zh库，它是agency-agents深度汉化版，有211个精选Agent，适配国内生态。需注意，skill并非越多越好，按需选择，避免浪费资源和输出无效结果。
Claude Opus 4.7突然发布：逐字级精准执行指令，软件工程和视觉能力大幅领先opus 4.6
Anthropic突然发布Claude Opus 4.7，重点提升软件工程能力，视觉能力也大幅跃升。指令遵循能力实质性提升，记忆能力改善。还同步上线新功能，升级前需关注分词器和token输出变化。
刚刚，Anthropic官方Harness被LangChain悄悄开源了~
上周，Anthropic发布官方Harness：Claude Managed Agents，但它闭源。LangChain则发布Deep Agents Deploy的Beta版本，是开源、模型无关的Agent框架，可用于生产环境，部署步骤被打包成一个命令。
一文搞懂 Coding Agent 和 Harness
文章介绍编码智能体和 Agent harnesses 设计，阐述 LLM、推理模型与 Agent 关系，指出 harness 是让 LLM 在特定任务更好用的关键。还详细讲解 Coding harness 六个核心组件，并对比了 OpenClaw。
马斯克深夜点赞！内容的下一站是：玩！
马斯克深夜点赞用 Loopit 制作的互动 meme，引发关注。Loopit 让用户体验从‘看’变‘玩’，实现双向交互。其融合 AI Coding 与多模态生成，构建 Runtime，解决延迟、状态同步等问题，潜力大。
OpenAI这招太狠！AI从「躲猫猫」到「自爆黑料」，主打一个坦白
随着AI进入高风险场景，透明、安全变得重要。OpenAI提出「忏悔机制」，让模型回答后产出自我坦白报告，不影响主回答评分，只考察诚实，能提升不良行为可见性，目前仍处概念验证阶段。
GPT-5.1 突然发布，用户实测：更像 4o，情商大幅提升
OpenAI 向部分付费用户推送 GPT - 5.1，有即时思考和深度思考两种模式，系统自动匹配。它有八种人格预设，改进不仅在语气，还提升记忆编织等能力，像是补救 GPT - 5 失败，还扩展安全评估。