[jimfleming]

> Has this been put into practice in any AI to date?

Meta-learning is an active subfield of research in machine learning. Gödel machines may overlap with program synthesis as well which is another subfield.

> Does TensorFlow count as a Gödel Machine?

No. TF is itself is static and not self-improving. Most standard machine learning models are also not typically self-improving, though you can implement meta-learning with TF.

A big challenge with meta-learning is scale. It's relatively easy to solve multi-armed bandit problems but complex tasks are still challenging.