skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Advancing mathematics by guiding human intuition with AI

Nature (London), 2021-12, Vol.600 (7887), p.70-74 [Peer Reviewed Journal]

2021. The Author(s). ;Copyright Nature Publishing Group Dec 2, 2021 ;The Author(s) 2021 ;ISSN: 0028-0836 ;EISSN: 1476-4687 ;DOI: 10.1038/s41586-021-04086-x ;PMID: 34853458

Full text available

Citations Cited by
  • Title:
    Advancing mathematics by guiding human intuition with AI
  • Author: Davies, Alex ; Veličković, Petar ; Buesing, Lars ; Blackwell, Sam ; Zheng, Daniel ; Tomašev, Nenad ; Tanburn, Richard ; Battaglia, Peter ; Blundell, Charles ; Juhász, András ; Lackenby, Marc ; Williamson, Geordie ; Hassabis, Demis ; Kohli, Pushmeet
  • Subjects: Algebra ; Algorithms ; Artificial intelligence ; Combinatorial analysis ; Computers ; Geometry ; Hypotheses ; Learning algorithms ; Machine learning ; Mathematical analysis ; Mathematics ; Theorems
  • Is Part Of: Nature (London), 2021-12, Vol.600 (7887), p.70-74
  • Description: 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 , most famously in the Birch and Swinnerton-Dyer conjecture , a Millennium Prize Problem . Here we provide examples of new fundamental results in pure mathematics that have been discovered with the assistance of machine learning-demonstrating 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 . 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.
  • Publisher: England: Nature Publishing Group
  • Language: English
  • Identifier: ISSN: 0028-0836
    EISSN: 1476-4687
    DOI: 10.1038/s41586-021-04086-x
    PMID: 34853458
  • Source: ProQuest One Psychology
    ProQuest Central
Back to results list
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY (84-028) 37 755 057 Feedback
19 Nguyen Huu Tho St. Dist.7, HCM thuvien@tdtu.edu.vn

Copyright © 2017 INSPIRE LIBRARY - TON DUC THANG UNIVERSITY

Searching Remote Databases, Please Wait