Subscribe to Events

Abstract: Advances in AI promise changes in mathematics, but what of form, by what path, and to what end remain unclear. I will present informal thoughts on the direction of mathematics in three parts. Starting with AI assistance in proof in the form of autoformalization and autodecomposition, I will propose new ambitious directions in evaluation, and speculate on where the may lead.