News for hackers. Stuff that matters.

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

Re:Show HN: I solved a 12yr math problem using AI (formalize... by Sath52 on Tuesday September 15, 2026 @03:25PM (#49717559)
I really wish you hadn’t.
[ Parent | on HN ]

There are no comments on this comment yet.