I said something similar a month ago.
It seems clear now that mathematical results can be traded on some kind of obscure market made by the frontier AI labs.
I suppose it could go the other way too: “Dear Bubeck, how much will you pay me to not write that I did this with GLM-5.3?”