[sapphireblue]

Actually there are at least two decades-old branches of computer science/mathematics that have formulated precise definitions of AI, and proved many theoretical results that gave way to lots of practical applications. These branches of CS are called "Reinforcement Learning" and "Universal AI".

While Gwern has already mentioned Reinforcement Learning, UAI is a less known (but even more rigorous and well received) mathematical theory of general AI that arose from Marcus Hutter work [1].

My point here is how can one say that there is no definition of AI when there are several precise mathematical definitions available with many theorems proven about them?

1. http://www.hutter1.net/ai/uaibook.htm

[argonaut]

You are confusing narrow AI for AGI. None of those things have proved anything practical about what an actually achievable AGI would look like, rather than some theoretical construct that is provably incomputable.

[kobeya]

No, he is not. Hutter's work on universal AI, his AIXI formulation is specifically a model of application generic AGI.

That said it is also not computable with finite time or resources, so it is unclear what relevance it has to practical applications.