Live data from Hacker News

Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

raw.githubusercontent.com

Post reply on HN

Print view View original

1–4 of 4 posts

Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

#1

Post by kbr- » Tue, Sep 15, 2026, 7:24 PM UTC

Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]
raw.githubusercontent.com

Re: Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

#2

Post by Sath52 » Tue, Sep 15, 2026, 7:25 PM UTC

I really wish you hadn’t.

Re: Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

#3

Post by chineduokafor » Tue, Sep 15, 2026, 8:10 PM UTC

[flagged]

Re: Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

#4

Post by sofiarossi98 » Tue, Sep 15, 2026, 8:38 PM UTC

[flagged]

Post reply on HN