Ramanujan Machine

From BOINC Projects
Jump to navigation Jump to search
Default water image

Ramanujan Machine is a BOINC based volunteer computing project that needs your help to discover new mathematical conjectures

Ramanujan Machine

Why Ramanujan Machine?

The Ramanujan Machine is a novel way to do mathematics by harnessing your computer power to make new discoveries.

Goal

Fundamental constants like e and π are ubiquitous in diverse fields of science, including physics, biology, chemistry, geometry, and abstract mathematics. Nevertheless, for centuries new mathematical formulas relating fundamental constants are scarce and are usually discovered sporadically by mathematical intuition or ingenuity.

Ramanujan Machine algorithms search for new mathematical formulas.

Methods

The Ramanujan Machine BOINC project distributes the specialized software package of the same name, 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. 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 conceptualized and developed by a group of undergraduates of the Technion under the guidance of Ido Kaminer [he], an electrical engineering faculty member of Technion. [1]

The details of the machine employing the BOINC platform were published online on 3 February 2021 in the journal Nature.

Source code: https://github.com/RamanujanMachine/

Video: https://youtu.be/4ziJ0nu-XNU?si=CalnF0Lqxpnt1T2C&t=1827

Project team

Shahar Gottlieb. Rotem Kalisch. Rotem Elimelech

Scientific results

https://www.ramanujanmachine.com/results/

Scientific publications

https://www.ramanujanmachine.com/publications/