Much has been written about the possibility of artificial intelligence (AI) and its potential to conduct scientific research on its own. Furthermore, machine learning language models such as GPT-3 have been trained on a corpus of fiction and non-fiction writing.

Additionally, there is much interest in the applications of computers towards proving mathematical theorems. While computer-aided proofs are commonplace, AIs have not yet cleared the intellectual hurdles of being listed as an author in a journal.

When will a computer program be listed as a coauthor on a peer-reviewed article in the Annals of Mathematics?

This question resolves on the publication date for which a non-human, computer entity is listed as either the sole author or a coauthor on a peer-reviewed article in the journal the Annals of Mathematics. For the purposes of this question, any underlying computer program (including expectation maximization) may be employed, so long as it's listed as an author.