[amichail]

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

[remywang]

Said paper in html rendered by texmacs [1] and past discussion [2]

1: https://www.texmacs.org/joris/ffnlogn/ffnlogn.html

2: https://news.ycombinator.com/item?id=24991447