OK, so I googled around a bit more and found a useful presentation on LibreOffice internals: https://people.gnome.org/~michael/data/2014-05-13-iwocl-libr...

Looks like it is indeed identifying large groups of cells with common formulas, and running those calculations on the GPU.