Jeremy Avigad Discusses AI Augmenting Mathematicians Amid Hype · Digg