Hacker News new | ask | show | jobs
by kikokikokiko 4 hours ago
These AI generated proofs have something akin to the quantum algorithms that can generate a response that would take 1 billion years of processing to finish on a classical computer. How do you test them to see if the result was correct?