I choose option 1. It's in the name! OpenAI should give mathematicians the chance to do at least some of this work themselves. It would be a lot easier for the community to adjust if they could use these same tools to explore how math research can adapt to the new circumstances. Instead, OpenAI is racing ahead to get as many results as possible with a proprietary model that the mathematical community cannot access. If these companies are building AI to benefit humanity as they assure us, then shouldn't they share their resources rather than vacuum up everything for themselves? Especially for something with as little direct monetary value as pure math.
I think there is way too much focus on how they released the results; it was going to be a huge shock no matter what. We should be talking about the massive concentration of "mathematical wealth" occurring here, and how it is a microscosm for what may happen on a much larger scale as AI outperforms humans on more and more domains.
I think there is way too much focus on how they released the results; it was going to be a huge shock no matter what. We should be talking about the massive concentration of "mathematical wealth" occurring here, and how it is a microscosm for what may happen on a much larger scale as AI outperforms humans on more and more domains.