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.
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.
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.
2 replies →
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.
1 reply →
How come mathematicians are ok with human mathematicians are ok with that kind of sketchy submissions? That's pretty bad too.
1 reply →
Lies travel around the world before the truth has time to put it’s sneaker’s on…
The headlines keep the hype train arunnin
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?