Ramanujan machine automatically generates conjectures for fundamental constants
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) ...