New Scientist
New Scientist reporter Jacob Aron writes that MIT researchers have “created three simulated Turing machines with behaviour that is entwined in deep questions of mathematics. This includes the proof of the 150-year-old Riemann hypothesis – thought to govern the patterns of prime numbers.”