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.
The proofs would only need to be well on their way enough that the only thing needed to finish it were thousands of terawatthours of energy. Something which the mathematician having their work stolen does not have.
