“Linear systems are the workhorse of modern computation,” said Vempala. The new proof finds a quicker way of solving a large ... their algorithm makes many guesses in parallel. This approach speeds up ...