I'm very confused by some of this framing. For example
>As a result of all this activity, the proofs naturally become digested, streamlined, placed in context with other results in the field, and ultimately become part of the textbooks and lecture notes for the next generation of mathematicians in the field.
All of this requires resources, most of even human mathematics has been thrown away every generation, who decides what makes it into textbooks, the gatekeepers (or should we say goalkeepers). We hope the mathematical elites interest is alligned with the broader mathematical and scientific community but it is often NOT. Often it's aligned with their own interests. I only see what OpenAI is doing here as a good, their felonies, coverups, and fraudulent finances (other American companies are also guilty) are far worse and they deserve real legal pushback and sentencing for that. Not whatever this crap is.
>As a result of all this activity, the proofs naturally become digested, streamlined, placed in context with other results in the field, and ultimately become part of the textbooks and lecture notes for the next generation of mathematicians in the field.
All of this requires resources, most of even human mathematics has been thrown away every generation, who decides what makes it into textbooks, the gatekeepers (or should we say goalkeepers). We hope the mathematical elites interest is alligned with the broader mathematical and scientific community but it is often NOT. Often it's aligned with their own interests. I only see what OpenAI is doing here as a good, their felonies, coverups, and fraudulent finances (other American companies are also guilty) are far worse and they deserve real legal pushback and sentencing for that. Not whatever this crap is.