Very impressive. But is the network distilling mathematical knowledge, or merely extracting a long list of pattern matching rules? It seems the latter. AGI will go nowhere until researches have the gall to experiment with machine consciousness, and to create an entity capable of knowing anything at all.