Re:I struggle to believe that AI R&D is ingenious
by famouswaffles on Friday November 06, 2026 @12:29PM
(#50395439)
>That is different from spending 10s of millions to do a brute-force search of lots of different proofs which can be verified by LEAN automatically.
That is not remotely how the vast majority of the proofs have worked. You don't know what you're talking about, but that seems par the course for these discussions.
That is not remotely how the vast majority of the proofs have worked. You don't know what you're talking about, but that seems par the course for these discussions.