The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants · HackerPapers discussions

The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants — mentioned by fxj

Mon, 15 Feb 2021 15:58:09 GMT

Their paper is also free to read on arXiv: https://arxiv.org/abs/1907.00205 "We present two algorithms that proved useful in finding conjectures: a 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 they conjecture formulas without providing proofs and without requiring prior knowledge on any underlying mathematical structure. This approach is especially attractive for constants for which no mathematical structure is known, as it reverses the conventional…

Paper and discussion history. A mention is not an endorsement.

The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants — mentioned by dilawar

Thu, 04 Feb 2021 04:33:31 GMT

open link: https://arxiv.org/abs/1907.00205

Paper and discussion history. A mention is not an endorsement.

The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants — HN submission

Fri, 01 May 2020 14:08:59 GMT

Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants

1 point; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants — HN submission

Fri, 19 Jul 2019 05:51:00 GMT

Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.