Comment by simianwords

It is used in pure math research already