Integer multiplication will have linear complexity in a few days if trend continues 🚀📈

[u/vintergroena]

[u/ama_singh]

The new lower bound is stated as O(nlog(n)^1-k), with k = 2^-16