Mathematics: the Rise of the Machines
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911278710128640 |
|---|---|
| author | He, Yang-Hui |
| author_facet | He, Yang-Hui |
| contents | We argue how AI can assist mathematics in three ways: theorem-proving, conjecture formulation, and language processing. Inspired by initial experiments in geometry and theoretical physics in 2017, we summarize how this emerging field has grown over the past years, and show how various machine-learning algorithms can help with pattern detection across disciplines in the mathematical sciences. At the heart is the question how does AI help with theoretical discovery, and the implications for the future of mathematics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_17203 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Mathematics: the Rise of the Machines He, Yang-Hui History and Overview History and Philosophy of Physics Physics and Society We argue how AI can assist mathematics in three ways: theorem-proving, conjecture formulation, and language processing. Inspired by initial experiments in geometry and theoretical physics in 2017, we summarize how this emerging field has grown over the past years, and show how various machine-learning algorithms can help with pattern detection across disciplines in the mathematical sciences. At the heart is the question how does AI help with theoretical discovery, and the implications for the future of mathematics. |
| title | Mathematics: the Rise of the Machines |
| topic | History and Overview History and Philosophy of Physics Physics and Society |
| url | https://arxiv.org/abs/2511.17203 |