AIHOT 日报 · 2026-08-22 — 面壁智能 OpenBMB 推出 MathForm，面向 Lean 4 数学自动形式化的开源框架、数据集与模型

面壁智能 OpenBMB 推出 MathForm，面向 Lean 4 数学自动形式化的开源框架、数据集与模型 — 点击查看完整日报 via AIHOT · https://aihot.news/daily/2026-08-22

信息源：AI HOT 日报，日期：2026-08-22

• 原始日报：AIHOT 日报 · 2026-08-22 — 面壁智能 OpenBMB 推出 MathForm，面向 Lean 4 数学自动形式化的开源框架、数据集与模型
• 日报 feed：https://aihot.virxact.com/feed/daily.xml