Mathematicians have found a new way to multiply two numbers together
newscientist.com
newscientist.com
Just kidding, but although I understand the value and importance of the heavy formulation, especially under the circumstances of the media of academic papers where proofs are necessary/desirable, this will be largely useless for disseminating the knowledge of the algorithm for all but a handful of people.
We need someone to write it down for us with all the simplifications that are possible given that we 'trust' all the relevant claims (the algorithm is correct, its complexity is O(n log n), etc.) and we simply don't care for the heavier side of the proofs
In this section we present the main integer multiplication
algorithm. We actually give a family of algorithms,
parameterised by a dimension parameter d > 2. Let n_0 :=
2^(d^12) > 2^4096, and suppose that we wish to multiply
integers with n bits. For n < n_0, we may use any convenient
base-case multiplication algorithm, such as the classical
O(n^2) algorithm.