mathematics

World’s largest math proof runs up to 200 TB in size

An international team of researchers has come up with an ingenious solution for a math problem, with the help of a supercomputer that was programmed to slog through more than a trillion color combination probabilities. If that isn't interesting enough, the solution has made the news as the largest math proof ever generated, running over…