- The year is 2011.
- The recent AI successes are data-driven, not theory-driven.
- Ten years after the success of Google.
- Fifteen years after the success of Deep Blue with Kasparov.
- Five year after a car drove autonomously across the Mojave desert.
- Four years after the Netflix prize was announced.
- Why am I still the only person training AI systems on large repositories of human proofs like the Mizar library???
Josef Urban
2011-01-14