Advancing mathematics by guiding human intuition with AI
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 conjectures1, most famously in the Birch and Swinnerton-D...
Main Authors: | , , , , , , , , , , , , , |
---|---|
Format: | Journal article |
Language: | English |
Published: |
Nature Research
2021
|