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.