Jeremy Avigad discusses the future of mathematics in the age of AI · Digg