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=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.
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=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.