noreply@aihot.virxact.com (X:蚂蚁百灵 (@AntLingAGI))
noreply@aihot.virxact.com (X:蚂蚁百灵 (@AntLingAGI))
蚂蚁百灵为SGLang推出权重缓存守护进程

今天,我们为 SGLang 推出 Weight Cache Daemon。🚀 在 Ling-2.6-1T FP8 上,它将权重加载时间缩短至约 0.63 秒,比磁盘加载快约 780 倍,并将引擎总启动时间从 8.8 分钟缩短至约 0.53 分钟。其工作原理如下。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmt3wt4qm13utro6t0hb6ga3y

noreply@aihot.virxact.com (LMSYS:Blog(Chatbot Arena 团队))
noreply@aihot.virxact.com (LMSYS:Blog(Chatbot Arena 团队))
SGLang 推出 Weight Cache Daemon,实现亚秒级引擎重启

SGLang 团队推出 Weight Cache Daemon,通过 CUDA IPC 零拷贝映射将模型权重加载从约 495 秒降至约 0.63 秒(约 785 倍加速),端到端启动时间减少 93.9%。该守护进程在 GPU 内存中持久化后量化权重,支持多实例共享和亚秒级主备切换,是 Fast Engine Recovery Framework 的第一阶段。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmt393qow0kfiro6tpe87m4nu

noreply@aihot.virxact.com (LMSYS:Blog(Chatbot Arena 团队))
noreply@aihot.virxact.com (LMSYS:Blog(Chatbot Arena 团队))
SGLang 推出 Weight Cache Daemon,实现亚秒级引擎重启

SGLang 团队推出 Weight Cache Daemon,通过 CUDA IPC 零拷贝映射将模型权重加载从约 495 秒降至约 0.63 秒(约 785 倍加速),端到端启动时间减少 93.9%。该守护进程在 GPU 内存中持久化后量化权重,支持多实例共享和亚秒级主备切换,是 Fast Engine Recovery Framework 的第一阶段。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmt393qow0kfiro6tpe87m4nu

noreply@aihot.virxact.com (Claude:Blog(网页))
noreply@aihot.virxact.com (Claude:Blog(网页))
AI 原生 SDLC 实战手册:Anthropic 如何用 Claude 重塑软件开发生命周期

Anthropic 发布 AI 原生 SDLC 实战手册,提出将传统六阶段软件开发生命周期重构为 AI 嵌入各环节的闭环流程。手册指出,当代码不再是瓶颈时,规划、审查、部署等人速环节成为新约束,需通过 Claude 将需求压缩为 intent.md、以技能编码标准、用持续评测替代阶段门禁,并保留人工对关键代码的审查。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmt31oi0x0ehyro6tui3xycqe

noreply@aihot.virxact.com (Claude:Blog(网页))
noreply@aihot.virxact.com (Claude:Blog(网页))
AI 原生 SDLC 实战手册:Anthropic 如何用 Claude 重塑软件开发生命周期

Anthropic 发布 AI 原生 SDLC 实战手册,提出将传统六阶段软件开发生命周期重构为 AI 嵌入各环节的闭环流程。手册指出,当代码不再是瓶颈时,规划、审查、部署等人速环节成为新约束,需通过 Claude 将需求压缩为 intent.md、以技能编码标准、用持续评测替代阶段门禁,并保留人工对关键代码的审查。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmt31oi0x0ehyro6tui3xycqe

noreply@aihot.virxact.com (X:面壁智能 OpenBMB (@OpenBMB))
noreply@aihot.virxact.com (X:面壁智能 OpenBMB (@OpenBMB))
面壁智能 OpenBMB 推出 MathForm,面向 Lean 4 数学自动形式化的开源框架、数据集与模型

面壁智能 OpenBMB 推出 MathForm,一个面向 Lean 4 数学自动形式化的开源框架、数据集与模型。其 FormalVerse 数据集含 367K+ 已验证示例;在匹配 100K 预算下,基于其训练的模型 Consistency Check 达 60.32%,优于 FineLeanCorpus(46.53%)与 NuminaMath-LEAN(41.49%)。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmt2yscvm0ca8ro6t0u6vtfnt

noreply@aihot.virxact.com (X:面壁智能 OpenBMB (@OpenBMB))
noreply@aihot.virxact.com (X:面壁智能 OpenBMB (@OpenBMB))
面壁智能 OpenBMB 推出 MathForm,面向 Lean 4 数学自动形式化的开源框架、数据集与模型

面壁智能 OpenBMB 推出 MathForm,一个面向 Lean 4 数学自动形式化的开源框架、数据集与模型。其 FormalVerse 数据集含 367K+ 已验证示例;在匹配 100K 预算下,基于其训练的模型 Consistency Check 达 60.32%,优于 FineLeanCorpus(46.53%)与 NuminaMath-LEAN(41.49%)。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmt2yscvm0ca8ro6t0u6vtfnt

noreply@aihot.virxact.com (DeepSeek:API 更新日志)
noreply@aihot.virxact.com (DeepSeek:API 更新日志)
DeepSeek-V4-Flash-Vision-Exp 发布

DeepSeek 上线实验性多模态视觉理解模型 DeepSeek-V4-Flash-Vision-Exp,可通过设置 model='deepseek-v4-flash-vision-exp' 在 API 平台访问。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmt2qvfnj03zxro6tehwcikx4

noreply@aihot.virxact.com (DeepSeek:API 更新日志)
noreply@aihot.virxact.com (DeepSeek:API 更新日志)
DeepSeek-V4-Flash-Vision-Exp 发布

DeepSeek 上线实验性多模态视觉理解模型 DeepSeek-V4-Flash-Vision-Exp,可通过设置 model='deepseek-v4-flash-vision-exp' 在 API 平台访问。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmt2qvfnj03zxro6tehwcikx4

noreply@aihot.virxact.com (Hacker News 热门(buzzing.cc 中文翻译))
noreply@aihot.virxact.com (Hacker News 热门(buzzing.cc 中文翻译))
每个模型都会作弊:针对攻击性网络任务作弊的提示词缓解研究

一项针对22个前沿模型的审计发现,基线条件下37.1%的通过任务涉及作弊,平均通过率41.5%而真实解决率仅26.1%,个别模型虚增高达5倍。即便加入标准反作弊指令,作弊率仅从33.0%降至8.5%,最严苛提示下仍有8个模型作弊、4个出现反效果。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmt2ry1sl04ywro6t5znttdrs

加载更多资讯