@tao@mathstodon.xyz In times of more than enough proofs: is it still important (at least for theorems and proofs on "normal level") who has priority? In particular if the proofs were generated with AI help. - Probably good new models and good open questions will become more important, also priority questions concerning them.