A breakthrough in machine learning would be worth ten Microsofts.