mathematics in AI