Formalizing Mathematics at Scale · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2605.29955/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:27:26 GMTFormalizing Mathematics at Scale — HN submissionhttps://news.ycombinator.com/item?id=48311485urn:hackerpapers:submission:2605.29955:48311485Thu, 28 May 2026 16:40:18 GMT<p>ATLAS: Autoformalized Textbook Library At Scale</p><p>https://twitter.com/arnal_charles/status/2060009395107377282, https://xcancel.com/arnal_charles/status/2060009395107377282 Paper: Formalizing Mathematics at Scale - https://arxiv.org/abs/2605.29955</p><p>32 points; 4 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2605.29955/">Paper and source history</a>. A submission is not an endorsement.</p>cs.AI