Contribution, Credit, and Community

“This note is based on the assumption that the adoption of AI in mathematics is already inevitable. To paraphrase the principle of Chekhov’s gun, if we strive to resolve a conjecture while inhabiting a world that contains a button that, if pressed, will promptly resolve said conjecture, someone will indeed press the button. […]”