Comment by hckrme
5 hours ago
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.
I’m sure the outsized pay packages help quite a bit
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.
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
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.
Lies travel around the world before the truth has time to put it’s sneaker’s on…
The headlines keep the hype train arunnin