[jbergens]

I guess Wolfram Alpha is the closest we have so far. They have written about the challenges.

https://www.wolframalpha.com/