> it cooked mathematics

Weird, these are all still here? https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_m...

Several of the items on that list are claimed to have been resolved by the recent OpenAI theorem-dump. Another is the Navier-Stokes question that's one of the Millennium Prize problems, also claimed to have been resolved by OpenAI's models.

So: unless all those claims by OpenAI turn out to have been mistakes[1]: no, actually, those are not all still there.

[1] It's certainly possible that some will. They've already retracted a few things.

	▲	dwroberts an hour ago \| parent [-]
		There is already a pre-print making the claim that the Navier-Stokes solution provided by OpenAI does not meet the criteria required by the prize (https://arxiv.org/html/2609.20803v1) (and as noted on Wikipedia, the Clay institute still lists the problem as 'active' not solved https://www.claymath.org/millennium/navier-stokes-equation/)