Not all, see the cycle double cover conjecture proof: https://news.ycombinator.com/item?id=48863490

But yeah, Terry Tao considered this exact situation in advance and is on record that this exact outcome (rushing to priority before an explanation) would be the worst possible result. https://mathstodon.xyz/@tao/117207849921390904

We will have to see whether any other millennium problems fall. I guess that in a year the scope of AI math will be much clearer, for now it's still a bunch of incidents of unclear pattern.

▲

HDThoreaun 4 hours ago | parent [-]

Nuts that Tao literally predicted the exact strategy openAI seems to have used not even a week ago

	▲	Kotlopou 3 hours ago \| parent [-]
		Since he wrote this five days ago, when these efforts were already underway, if he was not Terence Tao I would suspect he had inside access. But since he said he did not and was speaking hypothetically, and he seems to be an honest person as far as I can judge, I guess some people are just on another level.