MathHelm：供研究數學家討論 AI 生成論文的論壇

MathHelm 是一個論壇，研究數學家可在此閱讀、分享並討論新論文，包括 AI 生成的論文；發文僅限於持有已驗證機構電子郵件的成員。成員可附加 PDF 與參考文獻，並以 LaTeX 撰寫數學內容。近期活動包括對 OpenAI 局部平滑論文中定理 1.2 的 Lean 形式化。