MathHelm: A Place to discuss AI-generated papers

MathHelm is a forum for research mathematicians where anyone can read, while members with a verified institutional email can post questions, share and discuss new papers, and attach PDFs and references, writing mathematics in LaTeX. The page lists recent activity, including a Lean formalization of Theorem 1.2 from OpenAI's local smoothing paper and numerous paper posts on results such as Hilbert's tenth problem over ℚ and the Falconer distance conjecture.