We'll write AIs (heh). On a more serious note, if program writing neural-nets develop much further I can see the field putting more of an emphasis on the theor

We'll write AIs (heh). On a more serious note, if program writing neural-nets develop much further I can see the field putting more of an emphasis on the theoretical aspect, and leaving implementations to the AIs -- a bit like the way mathematics is heading. Less time spent on proof-checking (and one day perhaps, construction), etc.