A new artificially intelligent "Ramanujan Machine" can generate hundreds of new mathematical conjectures, which might lead to new math proofs and theorems.
Category
🤖
TechTranscript
00:00 A new artificial intelligence-based computer program called the Ramanujan machine could
00:05 help reveal hidden relationships between numbers.
00:09 The machine, named after the iconic Indian mathematician Srinivasa Ramanujan, enables
00:15 the discovery of new mathematical propositions called conjectures that have a good chance
00:20 of being true.
00:21 The AI program scans a huge range of possible mathematical formulas, looking for patterns
00:27 that might hint at new formulas for mathematical constants.
00:33 Constants are numbers, like pi, that always have the same value and can be used across
00:38 multiple equations.
00:40 The Ramanujan machine has uncovered more than a hundred intriguing conjectures so far.
00:45 Some, like these two showing a way to express the constants e and pi, have been proved.
00:53 Most are still awaiting proof.
00:55 This conjecture has to do with the Riemann zeta function, evaluated at the number 3.
01:02 The Riemann zeta function is at the center of what is considered by many to be the biggest
01:06 unsolved problem in mathematics, the Riemann hypothesis, which offers a $1 million prize
01:14 for whoever solves it.
01:16 The algorithm's new conjectures are on RamanujanMachine.com, where anyone can take a stab at proving whether
01:23 they are true, and thus turning the conjectures into brand new mathematical theorems.
01:29 Thank you.