The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants

06/29/2019
by   Gal Raayoni, et al.
0

Fundamental mathematical constants like e and π are ubiquitous in diverse fields of science, from abstract mathematics and geometry to physics, biology and chemistry. Nevertheless, for centuries new mathematical formulas relating fundamental constants have been scarce and usually discovered sporadically. In this paper we propose a novel and systematic approach that leverages algorithms for deriving new mathematical formulas for fundamental constants and help reveal their underlying structure. Our algorithms find dozens of well-known as well as previously unknown continued fraction representations of π, e, and the Riemann zeta function values. Two new conjectures produced by our algorithm, along with many others, are: e = 3 + -1/4+-2/5+-3/6+-4/7+... , 4/π-2 = 3+1·3/5+2· 4/7+3· 5/9+4· 6/11+... We present two algorithms that proved useful in finding new results: a variant of the Meet-In-The-Middle (MITM) algorithm and a Gradient Descent (GD) tailored to the recurrent structure of continued fractions. Both algorithms are based on matching numerical values and thus find new conjecture formulas without providing proofs and without requiring prior knowledge on any mathematical structure. This approach is especially attractive for fundamental constants for which no mathematical structure is known, as it reverses the conventional approach of sequential logic in formal proofs. Instead, our work presents a new conceptual approach for research: computer algorithms utilizing numerical data to unveil new internal structures and conjectures, thus playing the role of mathematical intuition of great mathematicians of the past, providing leads to new mathematical research.

READ FULL TEXT

page 8

page 19

research
08/22/2023

Algorithm-assisted discovery of an intrinsic order among mathematical constants

In recent decades, a growing number of discoveries in fields of mathemat...
research
01/15/2021

Machine-Learning Mathematical Structures

We review, for a general audience, a variety of recent experiments on ex...
research
08/28/2014

Mathematical Knowledge Representation: Semantic Models and Formalisms

The paper provides a survey of semantic methods for solution of fundamen...
research
06/12/2023

Mathematical conjecture generation using machine intelligence

Conjectures have historically played an important role in the developmen...
research
09/20/2023

Bravo MaRDI: A Wikibase Powered Knowledge Graph on Mathematics

Mathematical world knowledge is a fundamental component of Wikidata. How...
research
01/23/2018

Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture

There are several approaches for using computers in deriving mathematica...
research
04/12/2021

A Coq Formalization of Lebesgue Integration of Nonnegative Functions

Integration, just as much as differentiation, is a fundamental calculus ...

Please sign up or login with your details

Forgot password? Click here to reset