The essay "What happened to the future?" is, I think, notable for what it does not contain, which is any mention of mathematics. The Digital Math Library proje

The essay "What happened to the future?" is, I think, notable for what it does not contain, which is any mention of mathematics. The Digital Math Library project has been going on for years in the background (mostly in Europe). They have been doing conferences for years, and, at 30,000 feet, it looks like fascinating work: http://cicm-conference.org/2014/cicm.php?event=nop&menu=general http://cicm-conference.org/2014/cicm.php?event=nop&menu=gene... The computerization of mathematical reasoning, and in particular directing AI toward the study of the "pre-rigorous reasoning" aspect of mathematical work is, in my opinion, a great "plan of attack" toward general AI. Mathematics is about problem solving, and if computers can learn to do problem-solving well in the mathematical domain, in a general way, it seems to me that there is hope that computers will be able to solve problems in other domains as well.