[super_linear]

> Amazon is using math to help solve one of artificial intelligence’s most intractable problems

Seems like pretty bad way to start this article off. AI is math at the end of the day how is this special.

Generally the article seems to lack a lot of substance or specifics on what or how effective automated reasoning is at improving results. Actual substantive studies/papers might be more interesting...