Recently published articles
HTML articles powered by AMS MathViewer
AMS policy on making changes to articles after publication
Articles are published on the AMS website individually soon after proof is returned from authors and before appearing in an issue (most recently published article listed first).
- Will machines change mathematics?
- Maia Fraser, Andrew Granville, Michael H. Harris, Colin McLarty, Emily Riehl and Akshay Venkatesh
- Bull. Amer. Math. Soc.
- DOI: https://doi.org/10.1090/bull/1836
- Published electronically: February 20, 2024
- How machines can make mathematics more congressive
- Eugenia Cheng
- Bull. Amer. Math. Soc.
- DOI: https://doi.org/10.1090/bull/1827
- Published electronically: February 20, 2024
- Some thoughts on automation and mathematical research
- Akshay Venkatesh
- Bull. Amer. Math. Soc.
- DOI: https://doi.org/10.1090/bull/1834
- Published electronically: February 16, 2024
- Continued fractions in the field of $p$-adic numbers
- Giuliano Romeo
- Bull. Amer. Math. Soc.
- DOI: https://doi.org/10.1090/bull/1819
- Published electronically: February 16, 2024
- A note from the chief editor
- Alejandro Adem
- Bull. Amer. Math. Soc.
- DOI: https://doi.org/10.1090/bull/1837
- Published electronically: February 15, 2024
- Mathematics, word problems, common sense, and artificial intelligence
- Ernest Davis
- Bull. Amer. Math. Soc.
- DOI: https://doi.org/10.1090/bull/1828
- Published electronically: February 15, 2024
- Abstraction boundaries and spec driven development in pure mathematics
- Johan Commelin and Adam Topaz
- Bull. Amer. Math. Soc.
- 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.
- DOI: https://doi.org/10.1090/bull/1830
- Published electronically: February 15, 2024
- Mathematical reasoning and the computer
- Kevin Buzzard
- Bull. Amer. Math. Soc.
- DOI: https://doi.org/10.1090/bull/1833
- Published electronically: February 15, 2024
- Automation compels mathematicians to reflect on our values
- Michael Harris
- Bull. Amer. Math. Soc.
- DOI: https://doi.org/10.1090/bull/1825
- Published electronically: February 15, 2024
- Is deep learning a useful tool for the pure mathematician?
- Geordie Williamson
- Bull. Amer. Math. Soc.
- DOI: https://doi.org/10.1090/bull/1829
- Published electronically: February 15, 2024
- Mathematics and the formal turn
- Jeremy Avigad
- Bull. Amer. Math. Soc.
- DOI: https://doi.org/10.1090/bull/1832
- Published electronically: February 15, 2024
- Proof in the time of machines
- Andrew Granville
- Bull. Amer. Math. Soc.
- DOI: https://doi.org/10.1090/bull/1826
- Published electronically: February 15, 2024