I mean, this will all have to be done outside the auspices of OpenAI, because OpenAI clearly does not care.

I mean, this will all have to be done outside the auspices of OpenAI, because OpenAI clearly does not care.

But if mathematicians could self-organize and distribute the task of digging through the results, akin to something like the Polymath project, this could have a worthwhile outcome.