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.

▲

jojva 4 hours ago | parent | next [-]

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.

▲

mathisfun123 4 hours ago | parent [-]

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.

	▲	stevenhuang 3 hours ago \| parent [-]
		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.

▲

bravoetch 4 hours ago | parent | prev | next [-]

What does a backfire look like? It's ok to be wrong in the science/math world.

▲

mathisfun123 4 hours ago | parent [-]

of course in science/math it is but it's not okay if you're a business selling supercalifragilisticexpialidocious infallible intelligence.

▲

bravoetch 4 hours ago | parent [-]

Do they claim that's the case? I don't think they do.

▲

mathisfun123 4 hours ago | parent [-]

does company A making product B claim that the product is robust and consistent? is this a serious question?

	▲	zamadatix 3 hours ago \| parent [-]
		If you were waiting for companies to sell engines that never break down you'd still be stuck pre industrial revolution while the rest of the world has been to space. The question never if something works 100% of the time but how often it breaks and how that fits the need well. Solving one of these problems is a massive undertaking and accomplishment for the best minds, solving hundreds in a month but being wrong about 10% or something would likely not be the death knell you believe it to be.

▲

orlp 3 hours ago | parent | prev [-]

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...