Why mathematics is set to be revolutionized by AI

Thomas Fink
DOI: https://doi.org/10.1038/d41586-024-01413-w
IF: 64.8
2024-05-15
Nature
Abstract:Cheap data and the absence of coincidences make maths an ideal testing ground for AI-assisted discovery — but only humans will be able to tell good conjectures from bad ones. Cheap data and the absence of coincidences make maths an ideal testing ground for AI-assisted discovery — but only humans will be able to tell good conjectures from bad ones.
multidisciplinary sciences
What problem does this paper attempt to address?
This paper explores how artificial intelligence (AI) can play a role in the field of mathematics, especially how it can assist mathematicians in formulating conjectures. Specifically, the paper attempts to address the following aspects: 1. **The potential of AI applications in mathematics**: The paper discusses how AI can help mathematicians discover new patterns and relationships by analyzing a large amount of mathematical data, and then propose new mathematical conjectures. For example, researchers at the London Institute of Mathematical Sciences used machine - learning techniques to predict the rank of elliptic curves, which is an indicator of their complexity. In addition, the Ramanujan Machine program generated new formulas for fundamental constants such as π and e by searching through families of continued fractions. 2. **The combination of AI and human intuition**: Although AI can process large amounts of data and identify potential patterns, it still requires the intuition and experience of human mathematicians to ultimately judge which conjectures are valuable. The paper emphasizes that mathematical conjectures are not just data - based guesses, but require a combination of genius, intuition, and experience. Therefore, AI can be a powerful tool, but it cannot completely replace human creativity and judgment. 3. **The uniqueness of the field of mathematics**: In the field of mathematics, there are no coincidences, and a single counterexample can disprove a conjecture. At the same time, mathematical data is relatively easy to obtain, which makes mathematics an ideal field for AI applications. For example, the On - line Encyclopedia of Integer Sequences (OEIS) contains nearly 375,000 sequences, and scientists have used machine - learning tools to discover unexpected relationships from these data. 4. **Accelerating mathematical research**: The paper suggests that mainstream mathematical journals should publish more conjectures because these conjectures can guide research directions and accelerate the discovery of new theorems. For example, Fermat's Last Theorem, the Riemann Hypothesis, Hilbert's 23 problems, and many of Ramanujan's identities have had a profound impact on the development of the field of mathematics. In summary, the problems that this paper attempts to solve are: how to use AI technology to assist mathematicians in discovering new mathematical conjectures, and explore the complementary role of AI and human intuition in this process.