A Harvard mathematician and an AI model may have cracked an 87-year-old math problem

AI is increasingly being used as collaborators in mathematical research rather than simply as computational tools.