El Bulletin of the AMS dedica los números de abril y julio de 2024 del volumen 61 a la temática “Will machines change mathematics?”. Estos dos números han sido encargados por el nuevo Chief Editor, Alejandro Adem, a un equipo de editores invitados formado por Maia Fraser, Andrew Granville, Michael H. Harris, Colin McLarty, Emily Riehl y Akshay Venkatesh. Los editores invitados destacan en su introducción que “los matemáticos puros están acostumbrados a disfrutar de un alto grado de autonomía de investigación y libertad intelectual, una herencia frágil y preciosa que podría quedar arrasada por un uso irresponsable de las máquinas. Por otro lado, un enfoque reflexivo y deliberado de la misma tecnología puede enriquecer enormemente nuestro tema. Nos corresponde a nosotros determinar cómo debe desarrollarse nuestra materia, por lo que invitamos a la comunidad matemática a pensar y discutir seriamente las cuestiones planteadas en estos dos números especiales, y a escuchar a colegas de otros campos que han considerado profundamente estas mismas cuestiones. Ahora es el momento de que los matemáticos aprendan sobre este debate, lo impulsen y decidan la dirección futura de nuestro tema”.
El volumen de abril contiene los artículos: “Will machines change mathematics?”, de Maia Fraser, Andrew Granville, Michael H. Harris, Colin McLarty, Emily Riehl y Akshay Venkatesh; “Some thoughts on automation and mathematical research”, de Akshay Venkatesh; “Mathematical reasoning and the computer”, de Kevin Buzzard; “Mathematics and the formal turn”, de Jeremy Avigad; “Abstraction boundaries and spec driven development in pure mathematics”, de Johan Commelin y Adam Topaz; “Strange new universes: Proof assistants and synthetic foundations”, de Michael Shulman, de Geordie Williamson; “Mathematics, word problems, common sense, and artificial intelligence”, de Ernest Davis; “How machines can make mathematics more congressive”, de Eugenia Cheng; “Proof in the time of machines”, de Andrew Granville y “Automation compels mathematicians to reflect on our values”, de Michael Harris.
