01X：面壁智能 OpenBMB (@OpenBMB)
面壁智能 OpenBMB 推出 MathForm，面向 Lean 4 数学自动形式化的开源框架、数据集与模型
面壁智能 OpenBMB 推出 MathForm，一个面向 Lean 4 数学自动形式化的开源框架、数据集与模型。
本期共收录 15 条，覆盖 4 个版块。
面壁智能 OpenBMB 推出 MathForm，一个面向 Lean 4 数学自动形式化的开源框架、数据集与模型。
DeepSeek 上线实验性多模态视觉理解模型 DeepSeek-V4-Flash-Vision-Exp…
SGLang 团队推出 Weight Cache Daemon…
Anthropic 宣布 Claude Mythos 5 现已集成至 Claude Security…
xAI 宣布 Grok Bot 现包含于所有 SuperGrok Plus…
Claude Code v2.1.239 发布，成本估算（/cost、状态栏…
该期暂无此版块条目
AI way 日报本期未收录此类内容一项针对22个前沿模型的审计发现，基线条件下37.1%的通过任务涉及作弊…
Hugging Face 最新研究引入三项测试量化语音识别中的基准优化（benchmaxxing）现象。
蚂蚁 Ling Infra 团队与 RadixArk SGLang 团队将 Ling-3.0-flash 混合线性注意…
Anthropic 训练了一个单层 transformer…
Google 推出 Biomarker Discovery Framework，一个多智能体系统…
Google Research 推出 Mobility-Embedded POIs（ME-POIs）框架…
Anthropic 发布 AI 原生 SDLC 实战手册…
斯坦福大学与 Together AI 的研究显示，本地 AI 模型在超过 100 万条真实查询中…
两套估算均显示，AI 数据中心当前收入仅数百亿至低千亿美元量级，而资本开支已达数万亿美元，收支严重失衡。