System improves chip designs and tackles unsolved maths problems, but has not been rolled out to researchers outside the company.