How would these ideas be available to steal?
replyFrom mathematicians using ChatGPT in their work and landing on OpenAI‘s servers.
replyThis 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.
reply(also answered similarly to another comment; this is a common question)
replyThere are suddenly many new solutions to problems that have resisted sustained attacks (e.g. the Uniform Games Conjecture as detailed in TFA at some length). Where do you think they are coming from? Why is there suddenly a bunch of results to be stolen?
It would be extremely unlikely human mathematicians able to solve these kinds of problems would accept not getting credit that would set them for life professionally.
replyAlso lean proofs are notoriously tedious and slow to write so this level of output is very likely to be from LLMs. The number of people able to understand this level of math and prove it using Lean is a few hundred at most.
Until this is replicated, we don’t.
reply