Back

The most recent issue of the Bulletin of the American Mathematical Society, available at https://www.ams.org/journals/bull/2024-61-02/ , is largely devoted to the topic "will machines change mathematics?", with a wide variety of viewpoints from mathematicians (I understand that the following issue will also contain contributions from other disciplines that can inform the sociology of mathematics.) I found the articles to be an interesting read (though it does make my own forthcoming Notices article at https://terrytao.files.wordpress.com/2024/03/machine-assisted-proof-notices.pdf somewhat redundant, as much of what I write is covered by the union of these articles). It is also notable that many of these articles were submitted nearly a year ago and are thus somewhat overtaken by events - this space is developing quickly!