Abstract:

 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 episodes 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 become truly useful in the next few years.

Zoom Link: https://theias.zoom.us/j/84116605050?pwd=VHV6VkRUM3hkM2dFSlo2QWJiUWtPdz09