Anthropic:Claude for Teachers——为美国K-12教师提供免费Claude
Anthropic推出面向美国经过认证的K-12教师的免费Claude版本,有效期至2027年6月。该计划包含教学技能库、与全美50个州教育标准对齐的课程,以及与9款教育工具的集成。
13 条新闻 — 🟡 7 值得关注 , 🟢 6 有趣
Anthropic推出面向美国经过认证的K-12教师的免费Claude版本,有效期至2027年6月。该计划包含教学技能库、与全美50个州教育标准对齐的课程,以及与9款教育工具的集成。
测试时计算是模型在推理过程中为获得更好答案而消耗的额外计算。Bojie Li和Noah Shi将与外部工具的交互定义为测试时计算的第三轴——与较长的思考链和best-of-N采样并列。提议者-审核者系统实现100% pass rate,而单纯的思考链和best-of-N则触及瓶颈。
AMD发布了LogsLop,这是一款开源Python CLI工具,通过归一化和聚类来压缩巨型日志文件。在73个真实日志文件上,行数压缩至11%,字节压缩至7.5%,配合Llama 3.3 70B使用时节省78%的令牌。
Solo.io的林孙重新审视了Kubernetes Pod是否是调度AI代理的合适抽象。代理是短暂的——短暂激活后即进入休眠,而专用的空闲Pod会浪费资源。他提出了一种带有Actor和WorkerPool的新「agent-substrate」模型。
SCALECUA是清华大学/THUDM研究人员提出的新框架,通过在线强化学习扩展计算机使用代理,在OSWorld基准测试中取得68.7%的新SOTA成绩,在ScienceBoard上达到54.0%。
终端代理是通过终端或shell命令解决任务的AI代理。SETA(沈等人,牛津大学、KAUST)生成4,500+个可验证的强化学习环境用于终端代理训练。DeepSeek-V4-Flash在Terminal-Bench 2.0上将pass@1从40%提升至43%,pass@5从54%提升至58%。
多代理编排是多个专业AI代理在共同任务上的协调。Thrad.ai利用Amazon Bedrock和Strands Agents SDK构建了一套通过6个来源搜索B2B客户的系统。Swarm模式实现邮件质量8.2/10,Graph模式成本降低25%、速度提升28%。
Claude Code v2.1.208带来三项新功能:面向无障碍访问的屏幕阅读器模式(opt-in)、vim插入模式快捷键重映射,以及覆盖所有自生成进程的企业级进程包装器。热修复版本v2.1.209随即修复了一个导致后台代理会话中对话框被阻塞的错误。
自动形式化是将自然语言数学自动转化为机器可验证的形式化形式。刘天硕等人的ToMap流水线在ProofFlowBench数据集上比前一SOTA方法提升19.0%。核心创新在于将测试时计算集中用于识别出的瓶颈——Decomposer,而非均匀分配。
Anthropic向8家加拿大机构投资1000万加元(CAD),聚焦AI安全、医疗健康与低资源语言。同期发布的Economic Index显示,加拿大占Claude.ai全球流量的2.6%,人均采用率是预期的4.4倍。
Google DeepMind与Atal Innovation Mission联合推出ATL Saathi,这是一款由Gemini驱动的Web应用,旨在帮助印度学校STEM实验室的教师开展教学工作。目前在100所学校试点,目标覆盖逾1100万学生,支持8种语言和12个教学模块。