Researchers working at the Technion-Israel Institute of Technology in Haifa, Israel, have developed a ‘conjecture generator’ that creates mathematical conjectures using a combination of artificial intelligence (AI) and computer automation. The machine is named the Ramanujan Machine after the Indian mathematician Ramanujan, who made a major contribution to the formulation of unproven mathematical formulas. The machine consists of algorithms that seek and find out mathematical conclusions to problems that have yet to be solved. When proven, these problems become theorems. This new machine has already started delivering new conjectures, leading to new formulas for prominent mathematical constants such as Euler’s number (e), pi, the Aatalan constant and Apery’s constant.
For more news and current affairs for kids, subscribe to RobinAge: India's favourite newspaper for children.