The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants

  • 2019-06-29 13:39:10
  • Gal Raayoni, George Pisha, Yahel Manor, Uri Mendlovic, Doron Haviv, Yaron Hadad, Ido Kaminer
  • 101

Abstract

Fundamental mathematical constants like $e$ and $\pi$ are ubiquitous indiverse fields of science, from abstract mathematics and geometry to physics,biology and chemistry. Nevertheless, for centuries new mathematical formulasrelating fundamental constants have been scarce and usually discoveredsporadically. In this paper we propose a novel and systematic approach thatleverages algorithms for deriving new mathematical formulas for fundamentalconstants and help reveal their underlying structure. Our algorithms finddozens of well-known as well as previously unknown continued fractionrepresentations of $\pi$, $e$, and the Riemann zeta function values. Two newconjectures produced by our algorithm, along with many others, are:\begin{equation*} e = 3 + \frac{-1}{4+\frac{-2}{5+\frac{-3}{6+\frac{-4}{7+\ldots}}}}\quad\quad,\quad\quad \frac{4}{\pi-2} = 3+\frac{1\cdot3}{5+\frac{2\cdot4}{7+\frac{3\cdot 5}{9+\frac{4\cdot 6}{11+\ldots}}}} \end{equation*} We presenttwo algorithms that proved useful in finding new results: a variant of theMeet-In-The-Middle (MITM) algorithm and a Gradient Descent (GD) tailored to therecurrent structure of continued fractions. Both algorithms are based onmatching numerical values and thus find new conjecture formulas withoutproviding proofs and without requiring prior knowledge on any mathematicalstructure. This approach is especially attractive for fundamental constants forwhich no mathematical structure is known, as it reverses the conventionalapproach of sequential logic in formal proofs. Instead, our work presents a newconceptual approach for research: computer algorithms utilizing numerical datato unveil new internal structures and conjectures, thus playing the role ofmathematical intuition of great mathematicians of the past, providing leads tonew mathematical research.

 

Quick Read (beta)

loading the full paper ...