Post

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.

Two human authors worth reading on this: Lucy Suchman, Demystifying the intelligent machine: link.springer.com/chapter/10.1... Sarah Dillon, The Eliza effect and its dangers www.tandfonline.com/doi/full/10....

Sarah Dillon? THE Sarah Dillon that transcribed Pryce's Buoy??