https://hackerpaper.kaipfister.de/p/2603.03684/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=49141629urn:hackerpapers:mention:2603.03684:49141629Sun, 02 Aug 2026 06:15:28 GMT<p>The utility of autoformalization is not actually in confirming the correctness of human-checked results. Mathematicians have a pretty good peer review process. I&#x27;m not actually aware offhand of any mathematical results that were accepted and later found to be incorrect -- though I&#x27;m sure cases exist, it&#x27;s astoundingly rare. The mathematics community&#x27;s motivation for formalizing problems like Maryna Viazovska&#x27;s sphere packing results in Lean weren&#x27;t because the results were in doubt -- she won a Fields Medal for it, it&#x27;s an extremely examined proof -- but because formalizing those results…</p><p><a href="https://hackerpaper.kaipfister.de/p/2603.03684/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.HOhttps://news.ycombinator.com/item?id=48025218urn:hackerpapers:submission:2603.03684:48025218Tue, 05 May 2026 16:59:13 GMT<p>Mathematicians in the Age of AI</p><p></p><p>3 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2603.03684/">Paper and source history</a>. A submission is not an endorsement.</p>math.HO