Artificial intelligence has solved a major mathematics problem, but credit for the accomplishment is murky.