2 ms·

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

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?

startigerjen 2mo ago
No they don't. They have a few thousand lines and the hinge points are easy to find. This is more nonsense.