Working with machines in mathematics

DOI10.1090/BULL/1843MaRDI QIDQ6554710zbMATH OpenFDO

Authors Alex Davies

Publication date 13 June 2024

Published in Bulletin of the American Mathematical Society. New Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/BULL/1843

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Computer science support for mathematical research and practice (68V99)

Recommendations

• Machine learning and information theory concepts towards an AI mathematician
• A reflection on the construction of mathematical concepts in environments with technology
• scientific article; zbMATH DE number 469261
• Spline Based Electronic Modelling
• Easier variants of notorious math problems

Cites work

• A general reinforcement learning algorithm that masters chess, shogi, and Go through self-play
• Advancing mathematics by guiding human intuition with AI
• Bruhat intervals and parabolic cosets in arbitrary Coxeter groups
• Deep double descent: where bigger models and more data hurt*
• Discovering faster matrix multiplication algorithms with reinforcement learning
• scientific article; zbMATH DE number 1941662 (Why is no real title available?)
• Is deep learning a useful tool for the pure mathematician?
• On automorphisms of undirected Bruhat graphs
• Reinforcement learning. An introduction
• Towards combinatorial invariance for Kazhdan-Lusztig polynomials

Cited in

(2)

• Machine learning and information theory concepts towards an AI mathematician
• Embracing AI and formalization: experimenting with tomorrow's mathematical tools

This page was built for publication: Working with machines in mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6554710)