Artificial intelligence × Foresight × Mathematics ×