News for hackers. Stuff that matters.

A comment on An amateur just solved a 60-year-old math problem–by asking AI. Parent comment

Re:An amateur just solved a 60-year-old math problem–by aski... by BeetleB on Monday April 27, 2026 @10:06AM (#47921776)
No - It likely means that the proof was meandering, and had lots of additional pointless steps.
[ Parent | on HN ]

There are no comments on this comment yet.