Hacker News: maximumg9https://news.ycombinator.com/user?id=maximumg9Hacker News RSShttps://hnrss.org/hnrss v2.1.1Fri, 09 Oct 2026 03:10:47 +0000<![CDATA[New comment by maximumg9 in "Sharing AI progress in mathematics"]]>That's not the same as talking with the person who would have made the proof, and it's hard to argue that's comparable at all.

]]>Wed, 07 Oct 2026 04:47:55 +0000https://news.ycombinator.com/item?id=49988320maximumg9https://news.ycombinator.com/item?id=49988320https://news.ycombinator.com/item?id=49988320