>The advent of AI was always going to be a seismic shock, but this huge dump of papers is a tsunami that we have no time to prepare for. It’s clear that OpenAI will happily wash away our community’s structures to further their financial interests.
What is the alternative?1. Don't do the research internally (except someone else will do it once the model is public)?
2. Do the research internally but wait longer before telling anyone (this is what OpenAI did before, and mathematicians explicitly told them don't do it)?
3. Don't develop better models at all (except that Chinese models are only a few months behind)?
None of the options available to OpenAI would seem to solve the above concerns.
Let mathematicians do the AI-supported research on their own incentive at their own pace? What leaves a bad taste is that OpenAI doesn’t do this because they care about the actual math. Especially when they are leaving the necessary work of properly verifying, understanding, and writing up in an intelligible manner the proofs, up to the math community.
People would be more sympathetic if this was an alien race sharing their math results in not-quite-intelligible-to-us papers, because there at least we could assume that the aliens cared about the math and did their best to transmit their understanding to us.