Hacker News: edward_dhttps://news.ycombinator.com/user?id=edward_dHacker News RSShttps://hnrss.org/hnrss v2.1.1Fri, 09 Oct 2026 04:32:29 +0000<![CDATA[New comment by edward_d in "Sharing AI progress in mathematics"]]>This repository contains mathematical manuscripts and supporting proof artifacts produced by an internal OpenAI model?

]]>Wed, 07 Oct 2026 03:12:19 +0000https://news.ycombinator.com/item?id=49987633edward_dhttps://news.ycombinator.com/item?id=49987633https://news.ycombinator.com/item?id=49987633