The withdrawn papers were not lean verified nor claimed to be.

I wonder why the heck were they provided / uploaded then. Perhaps just a fast and loose play-out on their part. What I don't understand is how come engineers / scientists working on these are okay with this kind of attitude.

I suspect they are not okay with this way of working.

They’re okay enough to do the work and collect a paycheck and stock options. I don’t think their arms are being twisted that hard.

[delayed]

How come mathematicians are ok with human mathematicians are ok with that kind of sketchy submissions? That's pretty bad too.

... they're not? Why would you think mathematicians are happy about sketchy or bad submissions.

Submissions from OpenAI to normal journals without proof programs were accepted, and are accepted normally in these journals from what I understand.

Lies travel around the world before the truth has time to put it’s sneaker’s on…

The headlines keep the hype train arunnin

Because they have hundreds of potential proofs they were sitting on, and lack the internal expertise to judge them. It seems like they're working to formalize all of the in Lean, but that takes time.

This sounds suspiciously like non-developers dumping their vibe-coded projects on online communities

But that's the argument that was used when people here were skeptical about the results.

not these results

Can you point to where that defense has been made?