MathHelm：一个供研究数学家讨论 AI 生成论文的论坛

MathHelm 是一个论坛，研究数学家可以在这里阅读、分享和讨论新论文，包括 AI 生成的论文；发帖仅限持有已验证机构邮箱的成员。成员可以附上 PDF 和参考文献，并用 LaTeX 书写数学内容。近期动态包括对 OpenAI 局部平滑论文中定理 1.2 的 Lean 形式化。