Contents of Volume 61, Number 2
HTML articles powered by AMS MathViewer
View front and back matter from the print issue
- A note from the chief editor
- Alejandro Adem
- Bull. Amer. Math. Soc. 61 (2024), 199-199
- DOI: https://doi.org/10.1090/bull/1837
- Published electronically: February 15, 2024
- HTML | PDF
- Will machines change mathematics?
- Maia Fraser, Andrew Granville, Michael H. Harris, Colin McLarty, Emily Riehl and Akshay Venkatesh
- Bull. Amer. Math. Soc. 61 (2024), 201-202
- DOI: https://doi.org/10.1090/bull/1836
- Published electronically: February 20, 2024
- HTML | PDF
- Some thoughts on automation and mathematical research
- Akshay Venkatesh
- Bull. Amer. Math. Soc. 61 (2024), 203-210
- DOI: https://doi.org/10.1090/bull/1834
- Published electronically: February 16, 2024
- HTML | PDF
- Mathematical reasoning and the computer
- Kevin Buzzard
- Bull. Amer. Math. Soc. 61 (2024), 211-224
- DOI: https://doi.org/10.1090/bull/1833
- Published electronically: February 15, 2024
- HTML | PDF
- Mathematics and the formal turn
- Jeremy Avigad
- Bull. Amer. Math. Soc. 61 (2024), 225-240
- DOI: https://doi.org/10.1090/bull/1832
- Published electronically: February 15, 2024
- HTML | PDF
- Abstraction boundaries and spec driven development in pure mathematics
- Johan Commelin and Adam Topaz
- Bull. Amer. Math. Soc. 61 (2024), 241-255
- DOI: https://doi.org/10.1090/bull/1831
- Published electronically: February 15, 2024
- Strange new universes: Proof assistants and synthetic foundations
- Michael Shulman
- Bull. Amer. Math. Soc. 61 (2024), 257-270
- DOI: https://doi.org/10.1090/bull/1830
- Published electronically: February 15, 2024
- HTML | PDF
- Is deep learning a useful tool for the pure mathematician?
- Geordie Williamson
- Bull. Amer. Math. Soc. 61 (2024), 271-286
- DOI: https://doi.org/10.1090/bull/1829
- Published electronically: February 15, 2024
- HTML | PDF
- Mathematics, word problems, common sense, and artificial intelligence
- Ernest Davis
- Bull. Amer. Math. Soc. 61 (2024), 287-303
- DOI: https://doi.org/10.1090/bull/1828
- Published electronically: February 15, 2024
- HTML | PDF
- How machines can make mathematics more congressive
- Eugenia Cheng
- Bull. Amer. Math. Soc. 61 (2024), 305-315
- DOI: https://doi.org/10.1090/bull/1827
- Published electronically: February 20, 2024
- HTML | PDF
- Proof in the time of machines
- Andrew Granville
- Bull. Amer. Math. Soc. 61 (2024), 317-329
- DOI: https://doi.org/10.1090/bull/1826
- Published electronically: February 15, 2024
- HTML | PDF
- Automation compels mathematicians to reflect on our values
- Michael Harris
- Bull. Amer. Math. Soc. 61 (2024), 331-342
- DOI: https://doi.org/10.1090/bull/1825
- Published electronically: February 15, 2024
- HTML | PDF
- Continued fractions in the field of $p$-adic numbers
- Giuliano Romeo
- Bull. Amer. Math. Soc. 61 (2024), 343-371
- DOI: https://doi.org/10.1090/bull/1819
- Published electronically: February 16, 2024
- HTML | PDF