Published April 8, 2024 | in press
Journal Article

Rigor with machine learning from field theory to the Poincaré conjecture

  • 1. ROR icon California Institute of Technology

Abstract

Despite their successes, machine learning techniques are often stochastic, error-prone and blackbox. How could they then be used in fields such as theoretical physics and pure mathematics for which error-free results and deep understanding are a must? In this Perspective, we discuss techniques for obtaining zero-error results with machine learning, with a focus on theoretical physics and pure mathematics. Non-rigorous methods can enable rigorous results via conjecture generation or verification by reinforcement learning. We survey applications of these techniques-for-rigor ranging from string theory to the smooth 4D Poincaré conjecture in low-dimensional topology. We also discuss connections between machine learning theory and mathematics or theoretical physics such as a new approach to field theory motivated by neural network theory, and a theory of Riemannian metric flows induced by neural network gradient descent, which encompasses Perelman’s formulation of the Ricci flow that was used to solve the 3D Poincaré conjecture.

Copyright and License

© Springer Nature Limited 2024.

Acknowledgement

S.G. is supported in part by a Simons Collaboration Grant on New Structures in Low-Dimensional Topology and by the Department of Energy grant DE-SC0011632. J.H. is supported by National Science Foundation CAREER grant PHY-1848089. F.R. is supported by the National Science Foundation grants PHY-2210333 and startup funding from Northeastern University. The work of J.H. and F.R. is also supported by the National Science Foundation under Cooperative Agreement PHY-2019786 (The NSF AI Institute for Artificial Intelligence and Fundamental Interactions).

Contributions

The authors contributed equally to all aspects of the article.

Conflict of Interest

The authors declare no competing interests.

Additional details

Created:
April 10, 2024
Modified:
April 10, 2024