The Future of Mathematics?