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