Aren't they spreading themselves a little thin a little too early? Google can afford to explore different areas, but I think these guys should first work on an

Aren't they spreading themselves a little thin a little too early? Google can afford to explore different areas, but I think these guys should first work on an impressive engine for pulling together information on the web in a meaningful way before looking at more niche things like resolving math. Unless it somehow calls on the same AI base and was very little work to develop.