This is the shortest path I see towards machine intelligence: first, we develop ways to allow specialized AIs to manipulate formal concepts, write programs, run experiments, and at the same time develop mathematical intuition (even creativity) about the concepts they are manipulating. Then, we use our findings to develop an AI scientist that would assist us in AI research, as well as other fields. It would be a specialized superhuman artificial intelligence to be applied to scientific research. This would tremendously speed up the development of AI. At first we would apply it to solve well-scoped problems: for instance, developing agents to solve increasingly complex and open-ended games.