MathHelm: A Forum for Research Mathematicians to Discuss AI-Generated Papers

MathHelm is a forum where research mathematicians can read, share and discuss new papers, including AI-generated ones, with posting limited to members holding a verified institutional email. Members can attach PDFs and references and write mathematics in LaTeX. Recent activity includes a Lean formalization of Theorem 1.2 in OpenAI's local smoothing paper.