Comment by jug

There’s a Reddit thread that provides useful context to this, what it is and the scope: https://www.reddit.com/r/math/s/OD0Jy9Rdns