And that is part of the reason why, if you are a great mathematician and you have very good understanding of programming, you want to be local and not do anything on someone else’s server, and that doesn’t just apply to mathematics, but to many other high-level fields of learning. Can you afford to have an original idea? be appropriated by the data center crew?

We all know it’s only a matter of time before lawsuits in this area become widespread particularly in lawyer happy America.

This would that the proofs would be almost done anyway, which statistically could not be the case, or that these mathematicians were already progressing thanks to ChatGPT. Still a provenance question, but the impact of AI is unquestionable with regards to outcome.