Christian Stump is in the Faculty of Mathematics, Ruhr University Bochum, 44780 Bochum, Germany.
You can also search for this author in PubMed Google Scholar
Mathematicians have been developing theories by studying examples throughout history. For instance, by looking at a cube and a pyramid, one might realize that the number of vertices, edges and faces are related. A mathematician recognizes such a pattern, extends it to more-general shapes, and then starts to think about why this relationship might hold. Parts of this process involve computations, for which mathematical software has been useful since it first became available in the 1960s. However, human creativity enables mathematicians to instinctively understand where to look for emerging patterns. Writing in Nature, Davies et al. now describe a way of using artificial intelligence (AI) techniques to help with the creative core of the mathematical-research process1.
Subscribe to Journal
Get full journal access for 1 year
only 3,90 € per issue
Tax calculation will be finalised during checkout.
Rent or Buy article
Get time limited or full article access on ReadCube.
All prices are NET prices.
Nature 600, 44-45 (2021)
Davies, A. et al. Nature 600, 70–74 (2021).
Article Google Scholar
Peifer, D., Stillman, M. & Halpern-Leistner, D. Proc. Mach. Learn. Res. 119, 7575–7585 (2020).
Lample, G. & Charton, F. Preprint at https://arxiv.org/abs/1912.01412 (2019).
He, Y.-H. The Calabi–Yau Landscape: From Geometry, to Physics, to Machine Learning (Springer, 2021).
The author declares no competing interests.
University of Alberta (U of A)
Edmonton, Alberta, Canada
The Scripps Research Institute (TSRI)
Jupiter, FL, United States
University of Arkansas for Medical Sciences (UAMS)
Little Rock, AR, United States
University of Louisville (UofL)
Loui, KY, United States
An essential round-up of science news, opinion and analysis, delivered to your inbox every weekday.
Sign up for the Nature Briefing newsletter — what matters in science, free to your inbox daily.
© 2021 Springer Nature Limited