Can AI find the sum of an arithmetic sequence?