Bulletin of the AMS issue

Stream: general

[Antoine Chambert-Loir]

The Bulletin of the AMS is preparing a special issue devoted to proof assistants and automation of mathematics. Some of the papers are already available

• Alejandro Adem, A note from the chief editor, DOI:10.1090/bull/1837
• Jeremy Avigad, Mathematics and the formal turn, DOI:10.1090/bull/1832
• Kevin Buzzard, Mathematical reasoning and the computer, DOI:10.1090/bull/1833
• Johan Commelin and Adam Topaz, Abstraction boundaries and spec driven development in pure mathematics, DOI:10.1090/bull/1831
• Ernest Davis, Mathematics, word problems, common sense, and artificial intelligence, DOI:10.1090/bull/1828
• Andrew Granville, Proof in the time of machines, DOI:10.1090/bull/1826
• Michael Harris , Automation compels mathematicians to reflect on our values, DOI:10.1090/bull/1825
• Michael Shulman, Strange new universes: Proof assistants and synthetic foundations, DOI:10.1090/bull/1830
• Akshay Venkatesh, Some thoughts on automation and mathematical research, DOI:10.1090/bull/1834
• Geordie Williamson, Is deep learning a useful tool for the pure mathematician?, DOI:10.1090/bull/1829