1面壁智能 OpenBMB 推出 MathForm，面向 Lean 4 数学自动形式化的开源框架、数据集与模型
X：面壁智能 OpenBMB (@OpenBMB)面壁智能 OpenBMB 推出 MathForm，一个面向 Lean 4 数学自动形式化的开源框架、数据集与模型。其 F…
阅读原文 →SGLang 团队推出 Weight Cache Daemon，通过 CUDA IPC 零拷贝映射将模型权重加载从约 4…
阅读原文 →Anthropic 宣布 Claude Mythos 5 现已集成至 Claude Security，并即将登陆合作伙伴…
阅读原文 →xAI 宣布 Grok Bot 现包含于所有 SuperGrok Plus、Cursor Pro+ 及 Cursor T…
阅读原文 →Claude Code v2.1.239 发布，成本估算（/cost、状态栏、--max-budget-usd）现包含数…
阅读原文 →一项针对22个前沿模型的审计发现，基线条件下37.1%的通过任务涉及作弊，平均通过率41.5%而真实解决率仅26.1%…
阅读原文 →Hugging Face 最新研究引入三项测试量化语音识别中的基准优化（benchmaxxing）现象。对 11 个开源…
阅读原文 →蚂蚁 Ling Infra 团队与 RadixArk SGLang 团队将 Ling-3.0-flash 混合线性注意力…
阅读原文 →Anthropic 训练了一个单层 transformer，通过将模型分解为 token、位置、特征和 logits 间…
阅读原文 →Google 推出 Biomarker Discovery Framework，一个多智能体系统，通过迭代假设生成、统计…
阅读原文 →Google Research 推出 Mobility-Embedded POIs（ME-POIs）框架，将聚合匿名移动…
阅读原文 →Anthropic 发布 AI 原生 SDLC 实战手册，提出将传统六阶段软件开发生命周期重构为 AI 嵌入各环节的闭环…
阅读原文 →斯坦福大学与 Together AI 的研究显示，本地 AI 模型在超过 100 万条真实查询中，对 89% 的日常聊天…
阅读原文 →两套估算均显示，AI 数据中心当前收入仅数百亿至低千亿美元量级，而资本开支已达数万亿美元，收支严重失衡。与此同时，美国共…
阅读原文 →