AI日报 · 8月22日 今日8件AI大事，覆盖产品发布/更新、模型发布/更新、论文研究。 今日详情 面壁智能 OpenBMB 推出 MathForm，面向 Lean 4 数学自动形式化的开源框架、数据集与模型面壁智能 Op...

AI日报 · 8月27日 今日8件AI大事，覆盖模型发布/更新、论文研究。 今日详情 GLM-5.3-Flash 开源：320B 总参数、AA 指数 57 分，定价为 Opus 4.8 的 1/40智谱上线并开源 GLM-5.3-Flash（320B-A1...