Free Republic

by Technion - Israel Institute of Technology Credit: CC0 Public Domain Using AI and computer automation, Technion researchers have developed a 'conjecture generator' that creates mathematical conjectures, which are considered to be the starting point for developing mathematical theorems. They have already used it to generate a number of previously unknown formulas. The study, which was published in the journal Nature, was carried out by undergraduates from different faculties under the tutelage of Assistant Professor Ido Kaminer of the Andrew and Erna Viterbi Faculty of Electrical Engineering at the Technion. The project deals with one of the most fundamental elements...

“What he showed in the presentation is very unlikely to be anything like a proof of the Riemann hypothesis as we know it,” says Jørgen Veisdal, an economist at the Norwegian University of Science and Technology in Trondheim who has previously studied the Riemann hypothesis. “It is simply too vague and unspecific.” Veisdal added that he would need to examine the written proof more closely to make a definitive judgement. The Riemann hypothesis, one of the last great unsolved problems in math, was first proposed in 1859 by German mathematician Bernhard Riemann. It is a supposition about prime numbers, such...