The main person behind TeXmacs, Joris van der Hoeven, is also a coauthor on this paper:
"Integer multiplication in time n(log n)" https://annals.math.princeton.edu/2021/193-2/p04
"Integer multiplication in time n(log n)" https://annals.math.princeton.edu/2021/193-2/p04