AI solves famous math problem that stumped humans for 80 years - TrendCloud