2025 07 focs david

Congratulations to David Harvey on a FOCS 2025 paper with Joris van der Hoeven Integer multiplication is at least as hard as matrix transposition