Give a mathematically formal description of multiplication to a computer, and have it automatically derive the general number sieve algorithm for factoring. This seems so difficult as to feel like seeking the Holy Grail, though it is asking a computer to replicate steps previously done by humans.
No comments :
Post a Comment