Tuesday, May 22, 2018

[raunixym] Derive the number field sieve

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 :