This is what most people seem to forget, OpenAI has probably spent more money the last year than all of math research has during human existence.