Post

When an "AI" provider announces a new result, remember they have a product to sell. Watch for the careful and systematic ways human labour is elided at every step and claims about the model and the 'discovery' process are shielded from direct inspection Today's specimen: openai.com/index/model-...

A single result presented, no account of how many attempts External experts paraded, no disclosure of internal checking Two paper-shaped objects, no notes on authorship, contributions, quality control A 'rewritten chain of thought', no access to the original and no disclosure of how, why, by whom

You cannot brute force proofs like this. Which is why it hasn't been done before. Automated proof engines don't have a very dramatic track record. The most prominent one solved was the four color theorem, but it's proof is so long it can't be verified. Nothing at all like the present situation.

Please actually read the comments of mathematicians on these problems before commenting on them. arxiv.org/pdf/2605.20695 Mathematicians are accepting of the current situation. Don't Dunning-Kruger them.

You mean comments and statements like these? leidendeclaration.ai

Is the best you can find to try to claim that the proofs aren't real or are just a simple brute force "a group of mathematicians wants tool use to be disclosed"? Or did you not even read what you just linked?

I read the preprint in May & it is the reason for my pithy bsky phrasing "external experts paraded". The point of my OP is to draw attention to the systematic way human labour is obscured in moments like these by companies like this — not to comment on the specific problem or mode of (dis)solution