Feb 4, 2021
AI maths whiz creates tough new problems for humans to solve
Posted by Derick Lee in categories: information science, mathematics, robotics/AI
Computer-aided calculations have played a crucial part in producing the proofs of several high-profile results. And more recently, some mathematicians have made progress towards AI that doesn’t just perform repetitive calculations, but develops its own proofs. Another growing area has been software that can go over a mathematical proof written by humans and check that it is correct.
Algorithm named after mathematician Srinivasa Ramanujan suggests interesting formulae, some of which are difficult to prove true.