A team of researchers at the Israel Institute of Technology has built what they describe as a Ramanujan machine—a device that automatically generates conjectures (mathematical statements that are proposed as true statements) for fundamental constants. They have written a paper describing their device and have uploaded it to the arXiv preprint server. They have also created a webpage for people who wish to allow the network to use their computer's process cycles, suggest a proof or develop code toward new mathematical structures.
* This article was originally published here
