📰 Bulletin of the American Mathematical Society 2024: all accepted papers

38 papers · the most cited first · ← Bulletin of the American Mathematical Society 2024

1. Mathematics, word problems, common sense, and artificial intelligenceErnest Davis75 citations · our summary
2. Mathematics and the formal turn ↗Jeremy D. Avigad16 citations
3. Continued fractions in the field of 𝑝-adic numbers ↗Giuliano Romeo10 citations
4. Machine Learning and Information Theory Concepts towards an AI MathematicianYoshua Bengio, Nikolay Malkin8 citations · our summary
5. Abstraction boundaries and spec driven development in pure mathematics ↗Johan Commelin, Adam Topaz7 citations
6. Mathematical reasoning and the computer ↗Kevin Buzzard7 citations
7. Some thoughts on automation and mathematical research ↗Akshay Venkatesh7 citations
8. Automated mathematics and the reconfiguration of proof and labor ↗Rodrigo Ochigame6 citations
9. Compositional sparsity of learnable functions ↗Tomaso Poggio, Maia Fraser6 citations
10. Is deep learning a useful tool for the pure mathematician? ↗Geordie Williamson6 citations
11. Algebraic solutions of linear differential equations: An arithmetic approach ↗Alin Bostan, Xavier Caruso, Julien Roques5 citations
12. Poincaré on the value of reasoning machines ↗Colin McLarty5 citations
13. Proofs for a price: Tomorrow’s ultra-rigorous mathematical culture ↗Silvia De Toffoli5 citations
14. Proof in the time of machines ↗Andrew J. Granville4 citations
15. Spectral theory and self-similar blowup in wave equations ↗Roland Donninger3 citations
16. Automation compels mathematicians to reflect on our values ↗Michael Harris2 citations
17. Functoriality in categorical symplectic geometry ↗Mohammed Abouzaid, Nathaniel Bottman2 citations
18. Searching for (sharp) thresholds in random structures: Where are we now? ↗Will Perkins2 citations
19. Strange new universes: Proof assistants and synthetic foundations ↗Michael Shulman2 citations
20. Will machines change mathematics? ↗Maia Fraser, Andrew J. Granville, Michael Harris et al.2 citations
21. A note from the chief editor ↗Alejandro Ádem1 citation
22. AlephZero and mathematical experience ↗Simon DeDeo1 citation
23. Hilbert meets Ramanujan: Singularity theory and integer partitions ↗Hussein Mourtada1 citation
24. How machines can make mathematics more congressive ↗Eugenia Cheng1 citation
25. Lagrangian, game theoretic, and PDE methods for averaging G-equations in turbulent combustion: existence and beyond ↗Jack X. Xin, Yifeng Yu, Paul D. Ronney1 citation
26. Ray–Singer torsion, topological strings, and black holes ↗Cumrun Vafa1 citation
27. The Dirac operator ↗Nigel James Hitchin1 citation
28. The interpolation problem: When can you pass a curve of a given type through 𝑛 random points in space? ↗Eric Larson, Ravi Vakil, Isabel Vogt1 citation
29. Will machines change mathematics? ↗Maia Fraser, Andrew J. Granville, Michael Harris et al.1 citation
30. Working with machines in mathematics ↗Alex Davies1 citation
31. Book Review: Algebraic groups. The theory of group schemes of finite type over a field ↗Igor A. Rapinchuk
32. Book Review: Coarse geometry of topological groups ↗Todor Tsankov
33. Book Review: Complex algebraic threefolds ↗Janós Kollár
34. Book Review: Dimension groups and dynamical systems ↗Mike Boyle
35. Book Review: Regularity Theory for Elliptic PDE ↗Connor Mooney
36. Book Review: Self-similar and Self-affine Sets and Measures ↗K. J. Falconer
37. Introduction to Isadore Singer Memoriam ↗Daniel S. Freed
38. The Ray–Singer torsion ↗John A. Lott

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/bulletin-of-the-american-mathematical-society/2024/papers/