AI in math and theoretical physics: status and prospects
AI progress is accelerating, and now the leaders expect “artificial general intelligence” (AGI) in 2 to 3 years. While difficult to believe, we must prepare for the possibility. We can take some lessons from previous eras in which computers surpassed humans, for example in chess. We discuss conceptual studies of mathematical copilots and systems for autonomous mathematical discovery. These seem likely to me to come into existence in the next few years.