Comment by mathisfun123
1 day ago
With so many results in so many different areas no way they even remotely spot checked well enough.
Prediction: one of these is wrong and this (publicity stunt) will backfire.
Edit: don't tell me about lean. For lean to function as a proof certificate you need to represent the theorem correctly. Again: good luck doing that across such a broad swath of problems.
You have not read their readme:
> Some of the unformalized results could have issues. We will endeavor to fix any such issues quickly. We are also exploring community-hosted repositories for these materials.
i have and i'm exactly saying that if it comes to pass one of them is wrong it's going to backfire. ie yes that's my exact point/bet.
I don't think anyone would particularly care if only one of them is wrong, if most are correct.
If they are all wrong, that's when it would backfire.
What does a backfire look like? It's ok to be wrong in the science/math world.
of course in science/math it is but it's not okay if you're a business selling supercalifragilisticexpialidocious infallible intelligence.
Do they claim that's the case? I don't think they do.
3 replies →
It's likely that way more than just one of these is wrong. But even if it turns out 80% is wrong this is still 100+ results...