{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T18:59:09Z","timestamp":1775242749567,"version":"3.50.1"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"7887","license":[{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nature"],"published-print":{"date-parts":[[2021,12,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The practice of mathematics involves discovering patterns and using these to formulate and prove conjectures, resulting in theorems. Since the 1960s, mathematicians have used computers to assist in the discovery of patterns and formulation of conjectures<jats:sup>1<\/jats:sup>, most famously in the Birch and Swinnerton-Dyer conjecture<jats:sup>2<\/jats:sup>, a Millennium Prize Problem<jats:sup>3<\/jats:sup>. Here we provide examples of new fundamental results in pure mathematics that have been discovered with the assistance of machine learning\u2014demonstrating a method by which machine learning can aid mathematicians in discovering new conjectures and theorems. We propose a process of using machine learning to discover potential patterns and relations between mathematical objects, understanding them with attribution techniques and using these observations to guide intuition and propose conjectures. We outline this machine-learning-guided framework and demonstrate its successful application to current research questions in distinct areas of pure mathematics, in each case showing how it led to meaningful mathematical contributions on important open problems: a new connection between the algebraic and geometric structure of knots, and a candidate algorithm predicted by the combinatorial invariance conjecture for symmetric groups<jats:sup>4<\/jats:sup>. Our work may serve as a model for collaboration between the fields of mathematics and artificial intelligence (AI) that can achieve surprising results by leveraging the respective strengths of mathematicians and machine learning.<\/jats:p>","DOI":"10.1038\/s41586-021-04086-x","type":"journal-article","created":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T17:03:00Z","timestamp":1638378180000},"page":"70-74","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":348,"title":["Advancing mathematics by guiding human intuition with AI"],"prefix":"10.1038","volume":"600","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4917-5234","authenticated-orcid":false,"given":"Alex","family":"Davies","sequence":"first","affiliation":[]},{"given":"Petar","family":"Veli\u010dkovi\u0107","sequence":"additional","affiliation":[]},{"given":"Lars","family":"Buesing","sequence":"additional","affiliation":[]},{"given":"Sam","family":"Blackwell","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Zheng","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1624-0220","authenticated-orcid":false,"given":"Nenad","family":"Toma\u0161ev","sequence":"additional","affiliation":[]},{"given":"Richard","family":"Tanburn","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Battaglia","sequence":"additional","affiliation":[]},{"given":"Charles","family":"Blundell","sequence":"additional","affiliation":[]},{"given":"Andr\u00e1s","family":"Juh\u00e1sz","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Lackenby","sequence":"additional","affiliation":[]},{"given":"Geordie","family":"Williamson","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2812-9917","authenticated-orcid":false,"given":"Demis","family":"Hassabis","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7466-7997","authenticated-orcid":false,"given":"Pushmeet","family":"Kohli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,12,1]]},"reference":[{"key":"4086_CR1","doi-asserted-by":"crossref","unstructured":"Borwein, J. & Bailey, D. Mathematics by Experiment (CRC, 2008).","DOI":"10.1201\/b10704"},{"key":"4086_CR2","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1515\/crll.1965.218.79","volume":"1965","author":"BJ Birch","year":"1965","unstructured":"Birch, B. J. & Swinnerton-Dyer, H. P. F. Notes on elliptic curves. II. J. Reine Angew. Math. 1965, 79\u2013108 (1965).","journal-title":"J. Reine Angew. Math."},{"key":"4086_CR3","unstructured":"Carlson, J. et al. The Millennium Prize Problems (American Mathematical Soc., 2006)."},{"key":"4086_CR4","first-page":"B49b","volume":"49","author":"F Brenti","year":"2002","unstructured":"Brenti, F. Kazhdan-Lusztig polynomials: history, problems, and combinatorial invariance. S\u00e9min. Lothar. Combin. 49, B49b (2002).","journal-title":"S\u00e9min. Lothar. Combin."},{"key":"4086_CR5","unstructured":"Hoche, R. Nicomachi Geraseni Pythagorei Introductionis Arithmeticae Libri 2 (In aedibus BG Teubneri, 1866)."},{"key":"4086_CR6","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1080\/10586458.2003.10504505","volume":"12","author":"M Khovanov","year":"2003","unstructured":"Khovanov, M. Patterns in knot cohomology, I. Exp. Math. 12, 365\u2013374 (2003).","journal-title":"Exp. Math."},{"key":"4086_CR7","doi-asserted-by":"crossref","unstructured":"Appel, K. I. & Haken, W. Every Planar Map Is Four Colorable Vol. 98 (American Mathematical Soc., 1989).","DOI":"10.1090\/conm\/098"},{"key":"4086_CR8","doi-asserted-by":"crossref","unstructured":"Scholze, P. Half a year of the Liquid Tensor Experiment: amazing developments Xena https:\/\/xenaproject.wordpress.com\/2021\/06\/05\/half-a-year-of-the-liquid-tensor-experiment-amazing-developments\/ (2021).","DOI":"10.1080\/10586458.2021.1926016"},{"key":"4086_CR9","doi-asserted-by":"crossref","unstructured":"Fajtlowicz, S. in Annals of Discrete Mathematics Vol. 38 113\u2013118 (Elsevier, 1988).","DOI":"10.1016\/S0167-5060(08)70776-3"},{"key":"4086_CR10","unstructured":"Larson, C. E. in DIMACS Series in Discrete Mathematics and Theoretical Computer Science Vol. 69 (eds Fajtlowicz, S. et al.) 297\u2013318 (AMS & DIMACS, 2005)."},{"key":"4086_CR11","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1038\/s41586-021-03229-4","volume":"590","author":"G Raayoni","year":"2021","unstructured":"Raayoni, G. et al. Generating conjectures on fundamental constants with the Ramanujan machine. Nature 590, 67\u201373 (2021).","journal-title":"Nature"},{"key":"4086_CR12","unstructured":"MacKay, D. J. C. Information Theory, Inference and Learning Algorithms (Cambridge Univ. Press, 2003)."},{"key":"4086_CR13","unstructured":"Bishop, C. M. Pattern Recognition and Machine Learning (Springer, 2006)."},{"key":"4086_CR14","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1038\/nature14539","volume":"521","author":"Y LeCun","year":"2015","unstructured":"LeCun, Y., Bengio, Y. & Hinton, G. Deep learning. Nature 521, 436\u2013444 (2015).","journal-title":"Nature"},{"key":"4086_CR15","unstructured":"Raghu, M. & Schmidt, E. A survey of deep learning for scientific discovery. Preprint at https:\/\/arxiv.org\/abs\/2003.11755 (2020)."},{"key":"4086_CR16","unstructured":"Wagner, A. Z. Constructions in combinatorics via neural networks. Preprint at https:\/\/arxiv.org\/abs\/2104.14516 (2021)."},{"key":"4086_CR17","unstructured":"Peifer, D., Stillman, M. & Halpern-Leistner, D. Learning selection strategies in Buchberger\u2019s algorithm. Preprint at https:\/\/arxiv.org\/abs\/2005.01917 (2020)."},{"key":"4086_CR18","unstructured":"Lample, G. & Charton, F. Deep learning for symbolic mathematics. Preprint at https:\/\/arxiv.org\/abs\/1912.01412 (2019)."},{"key":"4086_CR19","unstructured":"He, Y.-H. Machine-learning mathematical structures. Preprint at https:\/\/arxiv.org\/abs\/2101.06317 (2021)."},{"key":"4086_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/JHEP09(2017)157","volume":"2017","author":"J Carifio","year":"2017","unstructured":"Carifio, J., Halverson, J., Krioukov, D. & Nelson, B. D. Machine learning in the string landscape. J. High Energy Phys. 2017, 157 (2017).","journal-title":"J. High Energy Phys."},{"key":"4086_CR21","unstructured":"Heal, K., Kulkarni, A. & Sert\u00f6z, E. C. Deep learning Gauss-Manin connections. Preprint at https:\/\/arxiv.org\/abs\/2007.13786 (2020)."},{"key":"4086_CR22","unstructured":"Hughes, M. C. A neural network approach to predicting and computing knot invariants. Preprint at https:\/\/arxiv.org\/abs\/1610.05744 (2016)."},{"key":"4086_CR23","unstructured":"Levitt, J. S. F., Hajij, M. & Sazdanovic, R. Big data approaches to knot theory: understanding the structure of the Jones polynomial. Preprint at https:\/\/arxiv.org\/abs\/1912.10086 (2019)."},{"key":"4086_CR24","doi-asserted-by":"publisher","first-page":"135033","DOI":"10.1016\/j.physletb.2019.135033","volume":"799","author":"V Jejjala","year":"2019","unstructured":"Jejjala, V., Kar, A. & Parrikar, O. Deep learning the hyperbolic volume of a knot. Phys. Lett. B 799, 135033 (2019).","journal-title":"Phys. Lett. B"},{"key":"4086_CR25","unstructured":"Tao, T. There\u2019s more to mathematics than rigour and proofs Blog https:\/\/terrytao.wordpress.com\/career-advice\/theres-more-to-mathematics-than-rigour-and-proofs\/ (2016)."},{"key":"4086_CR26","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1023\/A:1007364912784","volume":"39","author":"RM Kashaev","year":"1997","unstructured":"Kashaev, R. M. The hyperbolic volume of knots from the quantum dilogarithm. Lett. Math. Phys. 39, 269\u2013275 (1997).","journal-title":"Lett. Math. Phys."},{"key":"4086_CR27","unstructured":"Davies, A., Lackenby, M., Juhasz, A. & Toma\u0161ev, N. The signature and cusp geometry of hyperbolic knots. Preprint at arxiv.org (in the press)."},{"key":"4086_CR28","unstructured":"Curtis, C. W. & Reiner, I. Representation Theory of Finite Groups and Associative Algebras Vol. 356 (American Mathematical Soc., 1966)."},{"key":"4086_CR29","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1016\/j.aim.2005.01.011","volume":"202","author":"F Brenti","year":"2006","unstructured":"Brenti, F., Caselli, F. & Marietti, M. Special matchings and Kazhdan\u2013Lusztig polynomials. Adv. Math. 202, 555\u2013601 (2006).","journal-title":"Adv. Math."},{"key":"4086_CR30","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1090\/S0002-9904-1968-11921-4","volume":"74","author":"D-N Verma","year":"1968","unstructured":"Verma, D.-N. Structure of certain induced representations of complex semisimple Lie algebras. Bull. Am. Math. Soc. 74, 160\u2013166 (1968).","journal-title":"Bull. Am. Math. Soc."},{"key":"4086_CR31","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/s002080100232","volume":"321","author":"T Braden","year":"2001","unstructured":"Braden, T. & MacPherson, R. From moment graphs to intersection cohomology. Math. Ann. 321, 533\u2013551 (2001).","journal-title":"Math. Ann."},{"key":"4086_CR32","unstructured":"Blundell, C., Buesing, L., Davies, A., Veli\u010dkovi\u0107, P. & Williamson, G. Towards combinatorial invariance for Kazhdan-Lusztig polynomials. Preprint at arxiv.org (in the press)."},{"key":"4086_CR33","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1038\/nature16961","volume":"529","author":"D Silver","year":"2016","unstructured":"Silver, D. et al. Mastering the game of Go with deep neural networks and tree search. Nature 529, 484\u2013489 (2016).","journal-title":"Nature"},{"key":"4086_CR34","unstructured":"Kanigel, R. The Man Who Knew Infinity: a Life of the Genius Ramanujan (Simon and Schuster, 2016)."},{"key":"4086_CR35","unstructured":"Poincar\u00e9, H. The Value of Science: Essential Writings of Henri Poincar\u00e9 (Modern Library, 1907)."},{"key":"4086_CR36","doi-asserted-by":"crossref","unstructured":"Hadamard, J. The Mathematician\u2019s Mind (Princeton Univ. Press, 1997).","DOI":"10.1515\/9780691212906"},{"key":"4086_CR37","unstructured":"Bronstein, M. M., Bruna, J., Cohen, T. & Veli\u010dkovi\u0107, P. Geometric deep learning: grids, groups, graphs, geodesics, and gauges. Preprint at https:\/\/arxiv.org\/abs\/2104.13478 (2021)."},{"key":"4086_CR38","unstructured":"Efroymson, M. A. in Mathematical Methods for Digital Computers 191\u2013203 (John Wiley, 1960)."},{"key":"4086_CR39","unstructured":"Xu, K. et al. Show, attend and tell: neural image caption generation with visual attention. In Proc. International Conference on Machine Learning 2048\u20132057 (PMLR, 2015)."},{"key":"4086_CR40","unstructured":"Sundararajan, M., Taly, A. & Yan, Q. Axiomatic attribution for deep networks. In Proc. International Conference on Machine Learning 3319\u20133328 (PMLR, 2017)."},{"key":"4086_CR41","unstructured":"Bradbury, J. et al. JAX: composable transformations of Python+NumPy programs (2018); https:\/\/github.com\/google\/jax"},{"key":"4086_CR42","doi-asserted-by":"publisher","unstructured":"Mart\u00edn A. B. A. D. I. et al. TensorFlow: large-scale machine learning on heterogeneous systems (2015); https:\/\/doi.org\/10.5281\/zenodo.4724125.","DOI":"10.5281\/zenodo.4724125"},{"key":"4086_CR43","unstructured":"Paszke, A. et al. in Advances in Neural Information Processing Systems 32 (eds Wallach, H. et al.) 8024\u20138035 (Curran Associates, 2019)."},{"key":"4086_CR44","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1090\/S0273-0979-1982-15003-0","volume":"6","author":"WP Thurston","year":"1982","unstructured":"Thurston, W. P. Three dimensional manifolds, Kleinian groups and hyperbolic geometry. Bull. Am. Math. Soc 6, 357\u2013381 (1982).","journal-title":"Bull. Am. Math. Soc"},{"key":"4086_CR45","unstructured":"Culler, M., Dunfield, N. M., Goerner, M. & Weeks, J. R. SnapPy, a computer program for studying the geometry and topology of 3-manifolds (2020); http:\/\/snappy.computop.org."},{"key":"4086_CR46","unstructured":"Burton, B. A. The next 350 million knots. In Proc. 36th International Symposium on Computational Geometry (SoCG 2020) (Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik, 2020)."},{"key":"4086_CR47","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1080\/10586458.2011.565260","volume":"20","author":"GS Warrington","year":"2011","unstructured":"Warrington, G. S. Equivalence classes for the \u03bc-coefficient of Kazhdan\u2013Lusztig polynomials in Sn. Exp. Math. 20, 457\u2013466 (2011).","journal-title":"Exp. Math."},{"key":"4086_CR48","unstructured":"Gilmer, J., Schoenholz, S. S., Riley, P. F., Vinyals, O. & Dahl, G. E. Neural message passing for quantum chemistry. Preprint at https:\/\/arxiv.org\/abs\/1704.01212 (2017)."},{"key":"4086_CR49","unstructured":"Veli\u010dkovi\u0107, P., Ying, R., Padovano, M., Hadsell, R. & Blundell, C. Neural execution of graph algorithms. Preprint at https:\/\/arxiv.org\/abs\/1910.10593 (2019)."}],"container-title":["Nature"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.nature.com\/articles\/s41586-021-04086-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.nature.com\/articles\/s41586-021-04086-x","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.nature.com\/articles\/s41586-021-04086-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,16]],"date-time":"2023-01-16T21:33:25Z","timestamp":1673904805000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.nature.com\/articles\/s41586-021-04086-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,1]]},"references-count":49,"journal-issue":{"issue":"7887","published-print":{"date-parts":[[2021,12,2]]}},"alternative-id":["4086"],"URL":"https:\/\/doi.org\/10.1038\/s41586-021-04086-x","relation":{},"ISSN":["0028-0836","1476-4687"],"issn-type":[{"value":"0028-0836","type":"print"},{"value":"1476-4687","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,12,1]]},"assertion":[{"value":"10 July 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 September 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 December 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare no competing interests.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}