Post

Haven't read the article yet... Because mathematical knowledge is too big for one person, I've thought that much progress is just combining insights from a few areas, "cleanup." AI can do cleanup rapidly. And AI can take a genuinely new idea and immediately check every frontier.