News for hackers. Stuff that matters.

A comment on I struggle to believe that AI R&D is ingenious. Parent comment

Re:I struggle to believe that AI R&D is ingenious by rowanG077 on Friday November 06, 2026 @10:02PM (#50401225)
You cannot brute force lean proofs of any complexity. The space is infinitely large.
[ Parent | on HN ]

There are no comments on this comment yet.