Ramanujan machine
{{Short description|Software that produces mathematical conjectures about continued fractions}}
The Ramanujan machine is a specialised software package, developed by a team of scientists at the Technion: Israeli Institute of Technology, to discover new formulas in mathematics. It has been named after the Indian mathematician Srinivasa Ramanujan because it supposedly imitates the thought process of Ramanujan in his discovery of hundreds of formulas.{{cite web |title=The Ramanujan Machine |url=https://www.technion.ac.il/en/2021/02/the-ramanujan-machine/ |publisher=Technion: Israel Institute of Technology |access-date=17 August 2021}}{{cite web |title=Ramanujan machine automatically generates conjectures for fundamental constants |url=https://phys.org/news/2019-07-ramanujan-machine-automatically-conjectures-fundamental.html |website=phys.org |publisher=Science X |access-date=17 August 2021}}{{cite journal |last1=Gal Raayoni, Shahar Gottlieb, . . . |title=Generating conjectures on fundamental constants with the Ramanujan Machine |year=2021 |url=https://www.nature.com/articles/s41586-021-03229-4.epdf?sharing_token=8zDneVXsiY-cvny1tCryNdRgN0jAjWel9jnR3ZoTv0PDxey0pBGj7Da78yoQexEEcgj8iNp7OqsQpsrJ9nl2O3qA6PsXCdkJoOZPfaXm9l5mpBh4o7LNBqgWx7oAUgmvjnm-OGaTcbVSn2yH7aTebCO6rV_Dyv5C87s1tV3xbdc%3D |journal=Nature |volume=590 |issue=7844 |pages=67–73 |doi=10.1038/s41586-021-03229-4 |pmid=33536657 |arxiv=1907.00205 |s2cid=231805819 |access-date=17 August 2021}}{{cite journal |last1=Kabir Firaque |title=Explained: What is Ramanujan Machine, and why is it named after the Indian mathematician? |journal=The Indian Express |date=18 July 2019 |url=https://indianexpress.com/article/explained/scientists-create-ramanujan-machine-whats-it-for-why-name-it-after-him-5834854/ |access-date=17 August 2021}}
The machine has produced several conjectures in the form of continued fraction expansions of expressions involving some of the most important constants in mathematics like e and π (pi). Some of these conjectures produced by the Ramanujan machine have subsequently been proved true. The others continue to remain as conjectures. The software was conceptualised and developed by a group of undergraduates of the Technion under the guidance of {{ill|Ido Kaminer|he|עדו קמינר}}, an electrical engineering faculty member of Technion. The details of the machine were published online on 3 February 2021 in the journal Nature.{{R|NATURE}}
According to George Andrews, an expert on the mathematics of Ramanujan, even though some of the results produced by the Ramanujan machine are amazing and difficult to prove, the results produced by the machine are not of the caliber of Ramanujan and so calling the software the Ramanujan machine is slightly outrageous.{{cite journal |last1=Davide Castelvecchi |title=AI maths whiz creates tough new problems for humans to solve |year=2021 |url=https://www.nature.com/articles/d41586-021-00304-8#ref-CR1 |journal=Nature |volume=590 |issue=7845 |page=196 |doi=10.1038/d41586-021-00304-8 |pmid=33536602 |bibcode=2021Natur.590..196C |s2cid=231804003 |access-date=17 August 2021|url-access=subscription }}{{cite web |title=Math in the Media |url=http://www.ams.org/publicoutreach/math-in-the-media/03-2021-media |publisher=The American Mathematical Society |access-date=17 August 2021}} Doron Zeilberger, an Israeli mathematician, has opined that the Ramanujan machine is a harbinger of a new methodology of doing mathematics.{{cite web |title=Opinion 180: The Ramanujan Machine is a Harbinger of Mathematics becoming a Science again (and Fun again!) |url=https://sites.math.rutgers.edu/~zeilberg/Opinion180.html |publisher=Rutgers School of arts and Sciences |access-date=17 August 2021}}
Formulas discovered by the Ramanujan machine
The following are some of the formulas discovered by the Ramanujan machine which have been later proved to be true:
:
:
The following are some of the many formulas conjectured by the Ramanujan machine whose truth or falsity has not yet been established:{{cite web |title=Results |url=http://www.ramanujanmachine.com/results/ |website=The Ramanujan Machine |access-date=17 August 2021}}
:
:
In the last expression, the numbers 4, 14, 30, 52, . . . are defined by the sequence for and the numbers 8, 72, 288, 800, . . . are generated using the formula for .
External links
- Website of the Ramanujan machine project: [http://www.ramanujanmachine.com/ The Ramanujan Machine: Using algorithms to discover new mathematics]
- {{YouTube|h0FW7l7z-C4|Ido Kaminer - The Ramanujan Machine}}