This page has moved to https://madlen.io/uk/case-studies/the-challenges-of-using-artificial-intelligence-in-mathematics/.