3 ms·
This isn't really the "human level mathematician" equivalent task anyway. A human mathematician's main purpose isn't to memorize and reproduce proofs generated
by nonameiguess 5y ago
This isn't really the "human level mathematician" equivalent task anyway. A human mathematician's main purpose isn't to memorize and reproduce proofs generated by other people. It's to prove original results no one else has proven before. To remember and reproduce existing proofs, I just typed "proof infinitely many primes" into DuckDuckGo and it gave me plenty of correct results.
- karpierz 5y agoThat's like saying "standing still" isn't a human-level sprinter's task. In principle, yes, nothing in the 100m sprint requires that you need to be able to stand still. In practice, I would be very skeptical of someone who can't stand claiming they can sprint.
- zardo 5y agoIt's a human level mathematics student problem. If it can't determine that's it's proof is nonsense here there's little hope it could produce any worthwhile original work.