Ambiguity is a bug in mathematics. If I give you a proof and it’s vague, then it’s not complete. On the algorithmic side of things, it forces you to be very explicit about what your goals are and what the input is.

— Rediet Abebe, Interview with Quanta Magazine

Source: https://occupymath.wordpress.com/2021/06/10/rediet-abebe-a-rising-star-in-ai/

From her interview with Quanta Magazine.

Topics: programming