Search or Sort through these available articles
Search Articles:
Title ▲
Author ▲
Journal ▲
A note from the chief editor Adem, Alejandro Bulletin of the American Mathematical Society
Will machines change mathematics?
Fraser, Maia ,
Granville, Andrew ,
Harris, Michael H. ,
McLarty, Colin ,
Riehl, Emily ,
and Venkatesh, Akshay
Bulletin of the American Mathematical Society
Some thoughts on automation and mathematical research Venkatesh, Akshay Bulletin of the American Mathematical Society
Mathematical reasoning and the computer Buzzard, Kevin Bulletin of the American Mathematical Society
Mathematics and the formal turn Avigad, Jeremy Bulletin of the American Mathematical Society
Abstraction boundaries and spec driven development in pure mathematics
Commelin, Johan and
Topaz, Adam
Bulletin of the American Mathematical Society
Strange new universes: Proof assistants and synthetic foundations Shulman, Michael Bulletin of the American Mathematical Society
Is deep learning a useful tool for the pure mathematician? Williamson, Geordie Bulletin of the American Mathematical Society
Mathematics, word problems, common sense, and artificial intelligence Davis, Ernest Bulletin of the American Mathematical Society
How machines can make mathematics more congressive Cheng, Eugenia Bulletin of the American Mathematical Society
Proof in the time of machines Granville, Andrew Bulletin of the American Mathematical Society
Automation compels mathematicians to reflect on our values Harris, Michael Bulletin of the American Mathematical Society
Continued fractions in the field of p-adic numbers Romeo, Giuliano Bulletin of the American Mathematical Society
AlephZero and mathematical experience DeDeo, Simon Bulletin of the American Mathematical Society
Working with machines in mathematics Davies, Alex Bulletin of the American Mathematical Society
Proofs for a price: Tomorrow's ultra-rigorous mathematical culture De Toffoli, Silvia Bulletin of the American Mathematical Society
Poincaré on the value of reasoning machines McLarty, Colin Bulletin of the American Mathematical Society
Automated mathematics and the reconfiguration of proof and labor Ochigame, Rodrigo Bulletin of the American Mathematical Society
Compositional sparsity of learnable functions
Poggio, Tomaso and
Fraser, Maia
Bulletin of the American Mathematical Society
Machine Learning and Information Theory Concepts towards an AI Mathematician
Bengio, Yoshua and
Malkin, Nikolay
Bulletin of the American Mathematical Society
A Word From . . . Saxe, Karen Notices of the American Mathematical Society
Title ▲
Author ▲
Journal ▲
