ICARM mentioned in Quanta

ICARM’s director Jeremy Avigad quoted in article in Quanta Magazine about AI in mathematics.