Having conquered Go and protein folding, the company turns to a really hard problem.