In an earlier HN thread, there was speculation that Anthropic was being dishonest about the amount of human input required in some of their results; that was dismissed as conspiracy and flagged.

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?”