Abstract:Fundamental mathematical constants such as e and π are ubiquitous in diverse fields of science, from abstract mathematics and geometry to physics, biology and chemistry<a href="/articles/s41586-021-03229-4#ref-CR1">1</a>,<a href="/articles/s41586-021-03229-4#ref-CR2">2</a>. Nevertheless, for centuries new mathematical formulas relating fundamental constants have been scarce and usually discovered sporadically<a href="#ref-CR3">3</a>,<a href="#ref-CR4">4</a>,<a href="#ref-CR5">5</a>,<a href="/articles/s41586-021-03229-4#ref-CR6">6</a>. Such discoveries are often considered an act of mathematical ingenuity or profound intuition by great mathematicians such as Gauss and Ramanujan<a href="/articles/s41586-021-03229-4#ref-CR7">7</a>. Here we propose a systematic approach that leverages algorithms to discover mathematical formulas for fundamental constants and helps to reveal the underlying structure of the constants. We call this approach 'the Ramanujan Machine'. Our algorithms find dozens of well known formulas as well as previously unknown ones, such as continued fraction representations of π, e, Catalan's constant, and values of the Riemann zeta function. Several conjectures found by our algorithms were (in retrospect) simple to prove, whereas others remain as yet unproved. We present two algorithms that proved useful in finding conjectures: a variant of the meet-in-the-middle algorithm and a gradient descent optimization algorithm tailored to the recurrent structure of continued fractions. Both algorithms are based on matching numerical values; consequently, they conjecture formulas without providing proofs or requiring prior knowledge of the underlying mathematical structure, making this methodology complementary to automated theorem proving<a href="#ref-CR8">8</a>,<a href="#ref-CR9">9</a>,<a href="#ref-CR10">10</a>,<a href="#ref-CR11">11</a>,<a href="#ref-CR12">12</a>,<a href="/articles/s41586-021-03229-4#ref-CR13">13</a>. Our approach is especially attractive when applied to discover formulas for fundamental constants for which no mathematical structure is known, because it reverses the conventional usage of sequential logic in formal proofs. Instead, our work supports a different conceptual framework for research: computer algorithms use numerical data to unveil mathematical structures, thus trying to replace the mathematical intuition of great mathematicians and providing leads to further mathematical research.

"The Riddle of the Ages": James Joseph Sylvester and the Transcendence of π

From Euler's play with infinite series to the anomalous magnetic moment

Primes, Pi, and Irrationality Measure

The lost proof of Fermat's last theorem

A Proof of Ramanujan's Classic $π$ Formula

On transcendental numbers: new results and a little history

The solution of Liouville's equation (1850, 1853) and its impact

The Transcendence of $π$ and the Squaring of the Circle -- Die Transzendenz von $π$ und die Quadratur des Kreises

Which is greater: eπ or πe ? An unorthodox physical solution to a classic puzzle

112 years of listening to Riemannian manifolds

Yet Another Proof of Sylvester's Determinant Identity

Transcendence of values of logarithms of $E$-functions

Comment on "Which is greater: $e^π$ or $π^{e}$? An unorthodox physical solution to a classic puzzle"

A well-motivated proof that pi is irrational

Which is greater: $\boldsymbol{e^π}$ or $\boldsymbol{π^{e}}$? An unorthodox solution to a classic puzzle

A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie

The paradoxes and the infinite dazzled ancient mathematics and continue to do so today

A possible new path to proving the Riemann Hypothesis

Generating conjectures on fundamental constants with the Ramanujan Machine

Legerdemain in Mathematical Physics: Structure, Tricks, and Lacunae in Derivations of the Partition Function of the Two-Dimensional Ising Model and in Proofs of The Stability of Matter

The Euler Legacy to Modern Physics