Nikdo nemohl předpovědět, jak bude vypadat kódování AGI