alt Hacker NewsWith 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.
Replies
bravoetch • yesterday at 10:49 PM
What does a backfire look like? It's ok to be wrong in the science/math world.
➕ show 1 reply
orlp • today at 12:18 AM
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...
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.