[ArchD]

The "concrete examples" he gave in the "Ongoing transition" section are traditional AI tasks. What about other tasks like program compilation and theorem proving that require more hard-core logic? I will be more convinced if neural networks can reliably do those tasks. If not, at best a human will still need to manually break the high-level task into smaller subtasks to be solved by neural networks and then somehow glue the parts together.